Disambiguation evidence for homotopy type theory via surface form
"Homotopy Type Theory: Univalent Foundations of Mathematics"
Triples (2)
Triples where some other subject referred to this entity
as "Homotopy Type Theory: Univalent Foundations of Mathematics".
univalence axiom
→
appearsIn
→
"Homotopy Type Theory: Univalent Foundations of Mathematics"
ⓘ
↳ resolves to homotopy type theory
homotopy type theory
→
notablePublication
→
"Homotopy Type Theory: Univalent Foundations of Mathematics"
ⓘ
↳ resolves to homotopy type theory