Disambiguation evidence for combinatory logic via surface form

"combinatory logic"

Triples (3)

Triples where some other subject referred to this entity as "combinatory logic".

Curry encoding → influencedBy →
"combinatory logic"
↳ resolves to combinatory logic
ⓘ
Haskell Curry → notableWork →
"combinatory logic"
↳ resolves to combinatory logic
ⓘ
Curry–Howard correspondence → historicalRoot →
"combinatory logic"
↳ resolves to combinatory logic
ⓘ