Univalent Foundations Seminar
HoTT is a Polyvalent Foundation of Mathemtics
Date & Time
April 04, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
André Joyal, Institute for Advanced Study
Affiliation
University of Quebec at Montreal