Disambiguation evidence for calculus of constructions via surface form

"Calculus of Constructions"

Triples (2)

Triples where some other subject referred to this entity as "Calculus of Constructions".

System F → influenced →
"Calculus of Constructions"
↳ resolves to calculus of constructions
ⓘ
System F → relatedSystem →
"Calculus of Constructions"
↳ resolves to calculus of constructions
ⓘ