Univalent Foundations of Mathematics - Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
How I became seduced by univalent foundations
Overview of Univalent Foundations - Vladimir Voevodsky
The HoTTest Axiom of math
Univalent Foundations: Redefining Equality in Mathematics
Andrei Rodin: "Univalent Foundations and Applied Mathematics"
Univalent foundations and the equivalence principle - Benedikt Ahrens
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
Foundations of Mathematics and Computerised Proofs | Abdul Haliq | TEDxNewton
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Computing with Univalence - Daniel Licata
A New Foundation for Math | Homotopy Type Theory (HoTT)
Univalent Foundations Seminar - Peter Lumsdaine
4th HLF – Lecture: Vladimir Voevodsky
Univalent Foundations Seminar - Steve Awodey
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
