Univalent Foundations Seminar Kan Simplicial Set Model of Type Theory Date & Time October 25, 2012 | 11:00am – 12:30pm Location S-101 Speakers Peter LeFanu Lumsdaine, Institute for Advanced Study Affiliation Dalhousie University; Member, School of Mathematics Event Series Special year seminar - Math Categories Mathematics Academic Video Kan Simplicial Set Model of Type Theory Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
