VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
Mini-course: Cubical Type Theory
Speaker:
Dan Licata
Link:
https://video-archive.fields.utoronto.ca/view/5056
Workshop:
Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics