External Source

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

2017 5:53
Synopsis
Voevodsky took his knowledge of abstract geometry and applied it to Computer Science, then took Computer Science principles ...

You Might Also Like

Homotopy Type Theory Discussed - Computerphile 13:31
Homotopy Type Theory Discussed - Computerphile
2017
Computer Science ∩ Mathematics (Type Theory) - Computerphile 15:56
Computer Science ∩ Mathematics (type Theory) - Computerphi...
2017
Computer Science and Homotopy Theory - Vladimir Voevodsky 28:58
Computer Science And Homotopy Theory - Vladimir Voevodsky
2016
The mathematical work of Vladimir Voevodsky - Dan Grayson 55:54
The Mathematical Work Of Vladimir Voevodsky - Dan Grayson
2018
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie 18:19
Homotopy Type Theory: Working Invariantly In Homotopy Theory...
2017
Type Systems I - Vladimir Voevodsky 1:11:58
Type Systems I - Vladimir Voevodsky
2016
Type Systems - Vladimir Voevodsky 59:34
Type Systems - Vladimir Voevodsky
2017
The meta-theory of dependent type theories - Vladimir Voevodsky 1:00:10
The Meta-theory Of Dependent Type Theories - Vladimir Voevod...
2017
Higher Inductive Types in Cubical Computational Type Theory 20:49
Higher Inductive Types In Cubical Computational Type Theory
2019
Homotopy and Univalence - Thorsten Altenkirch 50:12
Homotopy And Univalence - Thorsten Altenkirch
2016
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.