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