Disambiguation evidence for Curry–Howard correspondence via surface form
"Curry–Howard–Lambek correspondence"
Triples (2)
Triples where some other subject referred to this entity
as "Curry–Howard–Lambek correspondence".
Haskell Curry
→
knownFor
→
"Curry–Howard–Lambek correspondence"
ⓘ
↳ resolves to Curry–Howard correspondence
Haskell Curry
→
hasConceptNamedAfter
→
"Curry–Howard–Lambek correspondence"
ⓘ
↳ resolves to Curry–Howard correspondence