Univalent Foundations Seminar
Overview of Univalent Foundations
Date & Time
September 27, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Affiliation
Professor, School of Mathematics, IAS
Event Series
Categories
Notes
(Continued from September 26, 2012)