Talk page

Title:
A Quillen Model Structure in Type Theory

Speaker:
Peter LeFanu Lumsdaine

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