Talk page

Title:
Mini-course: Homotopy-theoretic models of type theory

Speaker:
Peter LeFanu Lumsdaine

Link:
https://video-archive.fields.utoronto.ca/view/5045

Workshop:
Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics