Talk page

Title:
Type Systems

Speaker:
Vladimir Voevodsky

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