homotopy type theory
(Q5891840)
variant of type theory incorporating the univalence axiom of Voevodsky
variant of type theory incorporating the univalence axiom of Voevodsky
Language:
Current Data About
homotopy type theory
| (P18) |
|
||
| (P279) |
(Q1056428)
|
||
| (P373) |
Homotopy type theory
|
||
| (P856) |
http://homotopytypetheory.org/
|
||
| (P1482) |
https://mathoverflow.net/tags/homotopy-type-theory
https://proofassistants.stackexchange.com/tags/homotopy-type-theory |
||
| (P1813) |
"HoTT" (language: en)
|
other details
| aliases |
HoTT |
| description | variant of type theory incorporating the univalence axiom of Voevodsky |
External Links
| (P646) |
/m/0hn8nh2
|
| (P3417) |
Homotopy-Type-Theory
|
| (P4215) |
homotopy type theory
|
| (P6366) |
169523603
|
| (P7502) |
Homotopy_type_theory-A9AW5G
|