Pages that link to "Homotopy Type Theory"
The following pages link to Homotopy Type Theory:
Displaying 13 items.
- Mathematics (← links)
- Lambda Calculus (← links)
- Type Theory (← links)
- Topos (← links)
- Martin-Löf Type Theory (← links)
- Univalence Axiom (← links)
- Algebraic Topology (← links)
- Topology (← links)
- Infinity-Category (← links)
- Higher-Dimensional Algebra (← links)
- Homotopy Theory (← links)
- Philosophy of mathematics (← links)
- Vladimir Voevodsky (← links)