External Source

Computer Science And Homotopy Theory - Vladimir Voevodsky

2016 28:58
Synopsis
Vladimir Voevodsky Professor, School of Mathematics April 27, 2011 For more videos, visit http://video.ias.edu.

You Might Also Like

4th HLF – Lecture: Vladimir Voevodsky 49:55
4th Hlf – Lecture: Vladimir Voevodsky
2016
Type Systems - Vladimir Voevodsky 59:34
Type Systems - Vladimir Voevodsky
2017
Type Systems I - Vladimir Voevodsky 1:11:58
Type Systems I - Vladimir Voevodsky
2016
Homotopy Type Theory: Vladimir Voevodsky - Computerphile 5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
2017
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky 1:05:09
Foundations Of Mathematics And Homotopy Theory - Vladimir Vo...
2016
Type Systems II- Vladimir Voevodsky 58:38
Type Systems Ii- Vladimir Voevodsky
2016
The mathematical work of Vladimir Voevodsky - Dan Grayson 55:54
The Mathematical Work Of Vladimir Voevodsky - Dan Grayson
2018
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations 54:16
5 - Kick-off Afternoon : Vladimir Voevodsky, Univalent Found...
2014
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky 50:13
Univalent Foundations: New Foundations Of Mathematics | Vlad...
2014
Univalence from a computer science point-of-view - Dan Licata 55:56
Univalence From A Computer Science Point-of-view - Dan Licat...
2018
Type Systems - Vladimir Voevodsky 58:05
Type Systems - Vladimir Voevodsky
2016
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.