Kan Simplicial Set Model of Type Theory Date October 25, 2012 Speakers Peter LeFanu Lumsdaine Affiliation Dalhousie University; Member, School of Mathematics School of Mathematics Univalent