Talk page

Title:
Overview of Univalent Foundations

Speaker:
Vladimir Voevodsky

Abstract:
(Continued from September 26, 2012)

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