On Voevodsky's univalence principle - André Joyal
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalence from a computer science point-of-view - Dan Licata
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
Andrei V. Rodin --- Vladimir Voevodsky’s Unachieved Project.
20140910 HGF5 Paul Bernays Lectures Voevodsky 02 dm
Overview of Univalent Foundations - Vladimir Voevodsky
4th HLF – Lecture: Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Intensionality, Invariance, and Univalence, Steve Awodey
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
Univalent Foundations of Mathematics - Vladimir Voevodsky
20140909 HGF5 Paul Bernays Lectures Voevodsky 01 dm
The mathematical work of Vladimir Voevodsky - Dan Grayson
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Andrei Rodin: "Univalent Foundations and Applied Mathematics"
[POPL 2021] Internalizing Representation Independence with Univalence (full)
Vladimir Voevodsky
The meta-theory of dependent type theories - Vladimir Voevodsky
![[POPL 2021] Internalizing Representation Independence with Univalence (full)](https://img.youtube.com/vi/4e0yq6NN0o4/0.jpg)
