![School of Mathematics Event](/sites/default/files/styles/two_column_medium/public/2019-09/sm_default.jpg?itok=gMvWynkh)
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