Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky
Foundations of Mathematics and Homotopy Theory
The Foundation of Mathematics - Numberphile
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Computer Science and Homotopy Theory - Vladimir Voevodsky
Univalent Foundations of Mathematics - Vladimir Voevodsky
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Eric Finster : Homotopy Theory and Constructive Mathematics
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
What is...homotopy type theory?
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Univalent Foundations Seminar - Steve Awodey
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory I
Constructive Type Theory and Homotopy - Steve Awodey
Vladimir Voevodsky: Revolutionizing Mathematics | Scientist Biography
Daniel Carranza: Cubical Setting for Discrete Homotopy Theory
Chromatic homotopy theory - Jacob Lurie