Univalent Foundations Seminar
Gluing in Homotopy Type Theory
Date & Time
March 20, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Michael Shulman, Institute for Advanced Study
Affiliation
University of California, San Diego; Member, School of Mathematics