Pages that link to "Homotopy type theory"
Jump to navigation
Jump to search
The following pages link to Homotopy type theory:
Displaying 25 items.
- Currying (← links)
- Groupoid (← links)
- Set theory (← links)
- Type theory (← links)
- Surreal number (← links)
- Equality (mathematics) (← links)
- Homotopy (← links)
- Curry–Howard correspondence (← links)
- Intuitionistic type theory (← links)
- Calculus of constructions (← links)
- Vertical bar (← links)
- Suspension (topology) (← links)
- Constructive set theory (← links)
- Inductive type (← links)
- Blakers–Massey theorem (← links)
- ∞-groupoid (← links)
- Quotient type (← links)
- Equivalent definitions of mathematical structures (← links)
- Identity type (← links)
- Michael Shulman (mathematician) (← links)
- Polynomial functor (type theory) (← links)
- Homotopy theory (← links)
- Lean (proof assistant) (← links)
- Uniqueness of identity proofs (← links)
- Testwiki:Reference desk/Archives/Mathematics/2022 July 27 (← links)