Disambiguation evidence for Curry–Howard correspondence via surface form
"Curry–Howard isomorphism"
Triples (3)
Triples where some other subject referred to this entity
as "Curry–Howard isomorphism".
Curry–Howard correspondence
→
alsoKnownAs
→
"Curry–Howard isomorphism"
ⓘ
↳ resolves to Curry–Howard correspondence
William Alvin Howard
→
theoryDeveloped
→
"Curry–Howard isomorphism"
ⓘ
↳ resolves to Curry–Howard correspondence
Calculus of Constructions
→
semantics
→
"Curry–Howard isomorphism"
ⓘ
↳ resolves to Curry–Howard correspondence
linked to:
calculus of constructions