Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Univalent Foundations Seminar - Steve Awodey
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory III
Overview of Univalent Foundations - Vladimir Voevodsky
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory II
Univalent Foundations of Mathematics - Vladimir Voevodsky
How I became seduced by univalent foundations
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
Benedikt Ahrens, Univalent FOLDS
Categorical structures for type theory in univalent foundations - Nikolai Kudasov
Andrei Rodin: "Univalent Foundations and Applied Mathematics"
CT2023, Benedikt Ahrens: The Univalence Principle
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
Thorsten Altenkirch - Incompleteness in Type Theory (Gödel Conference)