Univalent Foundations Seminar Constructing HITs in a Realizability Model Date & Time December 20, 2012 | 11:00am – 12:30pm Location West Bldg. Lecture Hall Speakers Andrej Bauer, Institute for Advanced Study Affiliation University of Ljubljana 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
