Univalent Foundations Seminar
Homotopy Type Theory in Coq
Date & Time
October 04, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Michael Warren
Affiliation
Dalhousie University; Member, School of Mathematics