A Quillen Model Structure in Type Theory Date February 06, 2013 Affiliation Dalhousie University; Member, School of Mathematics Speakers Peter LeFanu Lumsdaine School of Mathematics Univalent