Univalent Foundations Seminar

Gluing in Homotopy Type Theory

Date & Time

March 20, 2013 | 11:00am – 12:30pm

Location

S-101

Affiliation

University of California, San Diego; Member, School of Mathematics

Categories