Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Reading group "Categorical Logic and Type Theory"
Reading group "Categorical Logic and Type Theory" by
Bart Jacobs
Time/place
Tuesday 13.30-15.30, at A4028.
Schedule
18 July 2006.
Section 4.9. By Ana Sokolova.
History
11 July 2006.
Section 4.8. By Bas Spitters.
27 June 2006.
Section 4.7. By Bas Spitters.
20 June 2006.
Section 4.6. By Ichiro Hasuo.
13 June 2006.
Section 4.5. By Chris Heunen.
9 June 2006.
Section 4.4. By Ana Sokolova.
2 June 2006.
Section 4.3. By Ichiro Hasuo.
8 May 2006.
Sections 4.1 and 4.2. By Chris Heunen.
2 May 2006.
Section 3.6. By Ana Sokolova.
25 Apr 2006.
Section 3.5. By Ichiro Hasuo.
11 Apr 2006.
Guidance session for newcomers.
4 Apr 2006.
Guidance session for newcomers.
21 Mar 2006.
Section 3.4. By Chris Heunen.
7 Mar 2006.
Section 3.3. By Ana Sokolova.
6 Feb 2006.
Sections 3.1 and 3.2. By Bas Spitters.
30 Jan 2006.
Sections 2.5 and 2.6. By Ichiro Hasuo.
23 Jan 2006.
Section 2.4. By Chris Heunen.
19 Dec 2005.
Section 2.3. By Bas Spitters.
5 Dec 2005.
Sections 2.1 and 2.2. By Ana Sokolova.
28 Nov 2005.
Section 1.10. By Ichiro Hasuo.
21 Nov 2005.
Vacation!
14 Nov 2005.
Section 1.9. By Chris Heunen.
7 Nov 2005. Some exercises.
31 Oct 2005. Until Section 1.8. By Ana Sokolova.
24 Oct 2005. Until Section 1.6. By Ichiro Hasuo.
17 Oct 2005, Until Section 1.2. By Chris Heunen.
back home
Last modified: Wed Jul 12 10:24:17 2006 CEST