Talk page

Title:
Type Systems

Speaker:
Vladimir Voevodsky

Link:
https://www.ias.edu/video/1212/univalient/VladimirVoevodsky-1205