Directed Type Theory Date April 10, 2013 Speakers Michael Warren Affiliation Dalhousie University; Member, School of Mathematics School of Mathematics Univalent