Talk page

Title:
Kan Simplicial Set Model of Type Theory

Speaker:
Peter LeFanu Lumsdaine

Link:
https://www.ias.edu/video/univalent/lumsdaine2012Oct25