Disambiguation evidence for homotopy type theory via surface form

"Homotopy type theory"

Triples (1)

Triples where some other subject referred to this entity as "Homotopy type theory".

Martin-Löf type theory → influenced →
"Homotopy type theory"
↳ resolves to homotopy type theory
ⓘ