Misplaced Pages

The following pages link to Homotopy type theory

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• Category theory (links | edit)
• Currying (links | edit)
• Groupoid (links | edit)
• Set (mathematics) (links | edit)
• Category of sets (links | edit)
• Set theory (links | edit)
• Type theory (links | edit)
• Natural deduction (links | edit)
• Surreal number (links | edit)
• Equality (mathematics) (links | edit)
• Vladimir Voevodsky (links | edit)
• Foundations of mathematics (links | edit)
• Institute for Advanced Study (links | edit)
• Homotopy (links | edit)
• Curry–Howard correspondence (links | edit)
• Intuitionistic type theory (links | edit)
• Formal system (links | edit)
• Calculus of constructions (links | edit)
• Vertical bar (links | edit)
• Suspension (topology) (links | edit)
• Dependent type (links | edit)
• Determinacy (links | edit)
• David Corfield (links | edit)
• Constructive set theory (links | edit)
• Higher category theory (links | edit)
• Hilbert system (links | edit)
• Hott (links | edit)
• Axiom of reducibility (links | edit)
• Topos (links | edit)
• Inductive type (links | edit)
• Steve Awodey (links | edit)
• NLab (links | edit)
• Structuralism (philosophy of mathematics) (links | edit)
• Blakers–Massey theorem (links | edit)
• Homotopic type theory (redirect page) (links | edit)
• Homotopical type theory (redirect page) (links | edit)
• Homotopy Type Theory (redirect page) (links | edit)
  • Talk:Univalent foundations (links | edit)
  • Misplaced Pages:Requests for mediation/merge of pages Homotopy type theory and Univalent foundations (links | edit)
• HoTT (redirect page) (links | edit)
• Fibrations-as-types (redirect page) (links | edit)
• Fibrations-as-Types (redirect page) (links | edit)
• Fibrations-as-Types interpretation (redirect page) (links | edit)
• Fibrations-as-types interpretation (redirect page) (links | edit)
• Ruth Lyttle Satter Prize in Mathematics (links | edit)
• History of type theory (links | edit)
• Thomas Streicher (links | edit)
• Univalence axiom (redirect to section "The univalence axiom") (links | edit)
  • Curry–Howard correspondence (links | edit)
  • Extensionality (links | edit)
  • Inductive type (links | edit)
  • Univalent foundations (links | edit)
  • Talk:Curry–Howard correspondence (links | edit)
  • Talk:Univalence axiom (transclusion) (links | edit)
  • Talk:Homotopy type theory/Archive 1 (links | edit)
  • User:Tompw/Books/Mathematics (U) (links | edit)
  • User:Siddharthist (links | edit)
  • User talk:Ancheta Wis/Archive 14 (links | edit)
  • Misplaced Pages talk:WikiProject Mathematics/Archive/2014/Jul (links | edit)
• ∞-groupoid (links | edit)
• Quotient type (links | edit)
• Equivalent definitions of mathematical structures (links | edit)
• ∞-topos (links | edit)