Disambiguation evidence for calculus of constructions via surface form
"calculus of constructions"
Triples (3)
Triples where some other subject referred to this entity
as "calculus of constructions".
Thierry Coquand
→
notableWork
→
"calculus of constructions"
ⓘ
↳ resolves to calculus of constructions
Thierry Coquand
→
notableConcept
→
"calculus of constructions"
ⓘ
↳ resolves to calculus of constructions