Guests
Visit of Prof. P. Johnstone
Prof. P. Johnstone (Cambridge University) will be visiting our the DMI on the 22nd and 23rd of May 2010.
Seminars
Lecture by Prof. P. Johnstone
Prof. P. Johnstone will give a lecture on Friday 23 at 11:00 in Sala del Consiglio, at the Department of Mathematics and Computer Science. “Toposes as higher-order theories” Abstract. The elementary reformulation of topos theory by Lawvere and Tierney allowed scope for the interpretation not only of first-order but also Read more