December Seminars - Matias Menni
Matias Menni will be giving the following seminars
during December 2006.
Date: 6 December
Time: 11:30am
Title: Lauchli's completeness theorem from a topos theoretic perspective.
Date: 12 December
Time: 4pm
Title: Categories of combinatorial objects in general and Myhill's
combinatorial functions in particular.
during December 2006.
Date: 6 December
Time: 11:30am
Title: Lauchli's completeness theorem from a topos theoretic perspective.
Date: 12 December
Time: 4pm
Title: Categories of combinatorial objects in general and Myhill's
combinatorial functions in particular.
0 Comments:
Post a Comment
<< Home