Метатеория теорий зависимых типов — Владимир Воеводский

6 094 просмотра · 9 л. назад

Institute for Advanced Study

159 тыс. подписчиков

6 094 просмотра · 9 л. назад

Семинар для членов организации Тема: Метатеория теорий зависимых типов Докладчик: Владимир Воеводский Принадлежность: Профессор, Школа математики Дата: 27 февраля 2017 г. Больше видеоматериалов можно посмотреть по адресу http://video.ias.edu