Please note that this newsitem has been archived, and may contain outdated information or links.
21 October 2022, Master of Logic defense, Jeremy Kirn
Candidate: Jeremy Kirn
Title: Monotone Type Theory: The Simplex Category as a Classifying Category
Date: Friday 21 October 2022
Time: 10:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Benno van den Berg
Please note that this newsitem has been archived, and may contain outdated information or links.