Towards a Geometry of Realizability Toposes?
Prof. Peter T. Johnstone, Cambridge University, Department of Pure Mathematics and Mathematical Statistics
Date and time: Friday 26th November 2004 at 14:00
Location: UG40, School of Computer Science
Host: Achim Jung
This is a joint theory and topology seminar. Please refer to the theory seminar page.