Скачать
Homotopy Type Theory Discussed - Computerphile
Автор: Computerphile
Загружено: 2017-10-13
Просмотров: 71821
Описание:
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.
Main Vladimir Voevodsky Video: • Homotopy Type Theory: Vladimir Voevodsky ...
/ computerphile
/ computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
