Computing with Univalence - Daniel Licata
Univalence from a computer science point-of-view - Dan Licata
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Intensionality, Invariance, and Univalence, Steve Awodey
Overview of Univalent Foundations - Vladimir Voevodsky
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Egbert Rijke: Daily applications of the univalence axiom - lecture 1
Amélia Liao, Univalent Category Theory
Univalent Foundations of Mathematics - Vladimir Voevodsky
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
[POPL 2021] Internalizing Representation Independence with Univalence (full)
Univalent foundations and the equivalence principle - Benedikt Ahrens
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
Univalent Foundations Seminar - Steve Awodey
Egbert Rijke: Daily applications of the univalence axiom - lecture 2
HoTT Lecture 11: The univalence axiom -- HoTTEST Summer School 2022
Internalizing Representation Independence with Univalence (POPL 2021)
From Scratch to Univalence | #SoME2
HoTT-2019-05-28 Univalence and Π₁S¹ = Z
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations