Short Talks by Postdoctoral Members
Homotopy Type Theory: what can logic do for homotopy theory?
Date & Time
October 04, 2013 | 2:00pm – 2:15pm
Location
S-101Speakers
Peter Lumsdaine
Affiliation
Member, School of Mathematics