Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Homotopy Type Theory Discussed - Computerphile
7 2 V Voevodsky Motivic homotopy types
Computer Science and Homotopy Theory - Vladimir Voevodsky
Type Systems I - Vladimir Voevodsky
The meta-theory of dependent type theories - Vladimir Voevodsky
Vadim Vologodsky - Motivic homotopy type of a log scheme
Univalent Foundations: Redefining Equality in Mathematics
Univalent Foundations of Mathematics - Vladimir Voevodsky
Univalent Foundations: Logic as Geometry
The mathematical work of Vladimir Voevodsky - Dan Grayson
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Vladimir Voevodsky, An intuitive introduction to motivic homotopy theory
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Type Systems - Vladimir Voevodsky
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
What is...homotopy type theory?
Vladimir Voevodsky Introduction to homotopy theory I
Cohomology in Homotopy Type Theory - Eric Finster
