Univalent Foundations Seminar
Homotopy and Univalence
Date & Time
January 23, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Thorsten Altenkirch, Institute for Advanced Study
Affiliation
Univ Nottingham/IAS