Homotopy Type Theory Discussed - Computerphile

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