Homotopy Type Theory Discussed - Computerphile

From the creator

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch. Main Vladimir Voevodsky Video: https://youtu.be/v5a5BYZwRx8 http://www.facebook.com/computerphile https://twitter.com/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

Published 2017-10-13 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.