Talk page

Title:
Part 1) Type Theory and Practical Foundations, Part 2) Homotopy Type Theory

Speaker:
Jeremy Avigad

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

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop