homotopytypetheory.org

Anchor text: ''Homotopy Type Theory: Univalent Foundations of Mathematics''

Wikipedia: Set theory

Anchor text: Homotopy Type Theory

Wikipedia: Type theory

Wikipedia: Surreal number

Wikipedia: Institute for Advanced Study

Anchor text: ''Homotopy Type Theory: Univalent Foundations of Mathematics''

Wikipedia: Curry–Howard correspondence

Anchor text: ''Homotopy Type Theory: Univalent Foundations of Mathematics'', The Univalent Foundations Program, Institute for Advanced Study

Wikipedia: Function type

Wikipedia: Homotopy groups of spheres

Anchor text: ''Homotopy Type Theory: Univalent Foundations of Mathematics'', The Univalent Foundations Program, Institute for Advanced Study

Wikipedia: Product type

Anchor text: Higher Inductive Types: a tour of the menagerie

Wikipedia: Inductive type

Wikipedia: Inductive type