Talk page

Title:
Homotopy Type Theory: what can logic do for homotopy theory?

Speaker:
Peter Lumsdaine

Link:
https://www.ias.edu/video/shorttalks/2013/1004-PeterLumsdaine