Type Theory & Set Theory - Oxford Talks

Type Theory & Set Theory

Reading: Ofra Magidor – The Last Dogma of Type Confusions (in Proceedings of the Aristotelian Society 109 (1pt1): 1-29 (2009))

Date: 8 February 2017, 18:00 (Wednesday, 4th week, Hilary 2017)
Venue:
Ertegun House
37a St Giles OX1 3LH
See location on maps.ox
Speakers: Speaker to be announced
Organising department: Faculty of Philosophy
Organiser: Benjamin Brast-McKie (University of Oxford)
Part of: The MLE Seminar
Topics:
Booking required?: Not required
Audience: Members of the University only
Editor: Andy Davies