Talk page

Title:
Locally Cartesian Closed Infinity Categories

Speaker:
Joachim Kock

Link:
https://www.ias.edu/video/univalent/2013/0221-JoachimKock