Computing with Univalence - Daniel Licata
Toward a Computational Interpretation of Univalence - Daniel Licata
Univalence from a computer science point-of-view - Dan Licata
From Scratch to Univalence | #SoME2
On Voevodsky's univalence principle - André Joyal
When Different is the Same? Isomorphism, Univalence, and Formal Equivalence
Univalent foundations and the equivalence principle - Benedikt Ahrens
How I became seduced by univalent foundations
HoTT-2019-05-28 Univalence and Π₁S¹ = Z
Univalent Foundations: Redefining Equality in Mathematics
Computer-Assisted Proofs and Math. Understanding: the case of Univalent Foundations - Andrei Rodin
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Functional correspondences with univalence
Egbert Rijke: Daily applications of the univalence axiom - lecture 1
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
The Univalence Axiom
Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
