Disambiguation evidence for homotopy type theory via surface form
"Homotopy Type Theory: Univalent Foundations of Mathematics"
No triples for this surface form
Surface form "Homotopy Type Theory: Univalent Foundations of Mathematics"
was not used to refer to this entity at the
object position of any triple.