Univalent Foundations Seminar
The Simplicial Model of Univalence
Date & Time
November 29, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Chris Kapulkin
Affiliation
Visiting Student, School of Mathematics
Event Series
Categories
Notes
(continued)