Disambiguation evidence for univalent foundations program via surface form
"Univalent Foundations program"
Triples (1)
Triples where some other subject referred to this entity
as "Univalent Foundations program".
homotopy type theory
→
associatedWith
→
"Univalent Foundations program"
ⓘ
↳ resolves to univalent foundations program