Talk page

Title:
The Simplicial Model of Univalence

Speaker:
Peter Lumsdaine

Link:
https://www.ias.edu/video/1213/univalent/PeterLumsdaine-1206