Talk page

Title:
The meta-theory of dependent type theories

Speaker:
Vladimir Voevodsky

Link:
https://www.ias.edu/video/membsem/2017/0227-VladimirVoevodsky