Univalent Foundations Seminar
Kan Simplicial Set Model of Type Theory
Date & Time
October 25, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Peter LeFanu Lumsdaine, Institute for Advanced Study
Affiliation
Dalhousie University; Member, School of Mathematics