Talk page

Title:
Homotopy and Univalence

Speaker:
Thorsten Altenkirch

Link:
https://www.ias.edu/video/1213/univalent/0123-ThorstenAltenkirch