Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Univalent Foundations of Mathematics - Vladimir Voevodsky
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
Univalent foundations and the equivalence principle - Benedikt Ahrens
How I became seduced by univalent foundations
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
Andrei Rodin: "Univalent Foundations and Applied Mathematics"
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
Univalent Foundations Seminar - Steve Awodey
The HoTTest Axiom of math
20140910 HGF5 Paul Bernays Lectures Voevodsky 02 dm
Univalent Foundations: Redefining Equality in Mathematics
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
A New Foundation for Math | Homotopy Type Theory (HoTT)
Univalent Foundations Seminar - Peter Lumsdaine
Univalent Foundations of AGI by Alexey Potapov and Vitaly Bogdanov - AGI-21 Contributed Talks
Overview of Univalent Foundations - Vladimir Voevodsky
Univalent foundations
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
