Talk page

Title:
Constructive set theory in Homotopy Type Theory

Speaker:
Håkon Robbestad Gylterud

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

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