Univalent Foundations Tutorial Homotopy Type Theory Date & Time October 02, 2012 | 1:30pm – 4:00pm Location S-101 Speakers Michael Shulman, Institute for Advanced Study Affiliation University of California, San Diego; Member, School of Mathematics 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
