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