Talk page

Title:
Cubical Type Theory: a constructive interpretation of the univalence axiom

Speaker:
Anders Mörtberg

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

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