Talk page

Title:
Why does Homotopy Type Theory matter?

Speaker:
Thorsten Altenkirch

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

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