Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
1.10 Homotopy invariance
How I became seduced by univalent foundations
Homotopy and Univalence - Thorsten Altenkirch
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
Homotopy Theory in Type Theory "Homotopy Group"- Licata, Brunerie, Lumsdaine
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Dan Christensen, Sphere bundles and their invariants
Vladimir Voevodsky Introduction to homotopy theory I
Univalent foundations and the equivalence principle - Benedikt Ahrens
David Blanc: Higher order homotopy invariants
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Global homotopy theory / Lecture 18: G-equivariant homotopy groups of symmetric products
Univalent Foundations Seminar - Steve Awodey
Computing with Univalence - Daniel Licata
Voevodsky 2014 03 26
Global homotopy theory / Lecture 9: Equivariant homotopy groups of mO
4th HLF – Lecture: Vladimir Voevodsky
Intensionality, Invariance, and Univalence, Steve Awodey
Global homotopy theory / Lecture 14: Left and right induced global homotopy types
