Disambiguation evidence for homotopy type theory via surface form
"homotopy type theory"
Triples (5)
Triples where some other subject referred to this entity
as "homotopy type theory".
Curry–Howard correspondence
→
relatedConcept
→
"homotopy type theory"
ⓘ
↳ resolves to homotopy type theory
univalent foundations program
→
basedOn
→
"homotopy type theory"
ⓘ
↳ resolves to homotopy type theory
Homotopy Type Theory: Univalent Foundations of Mathematics
→
about
→
"homotopy type theory"
ⓘ
↳ resolves to homotopy type theory
linked to:
homotopy type theory