Univalent Foundations Seminar HoTT is a Polyvalent Foundation of Mathemtics Date & Time April 04, 2013 | 11:00am – 12:30pm Location S-101 Speakers André Joyal, Institute for Advanced Study Affiliation University of Quebec at Montreal Event Series Special year seminar - Math Categories Mathematics Academic Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
