Higher Inductive Types Date October 01, 2012 Speakers Peter Lumsdaine Affiliation Dalhousie University; Member, School of Mathematics School of Mathematics