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".
Vladimir Voevodsky
→
notableIdea
→
"univalent foundations program"
ⓘ
↳ resolves to univalent foundations program