Disambiguation evidence for Haskell Curry via surface form

"Haskell Curry"

Triples (17)

Triples where some other subject referred to this entity as "Haskell Curry".

Alonzo Church → influenced →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Alonzo Church → notableStudent →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry → hasNotableBearer →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry paradox → namedAfter →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry paradox → historicallyAttributedTo →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Haskell → namedAfter →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry encoding → namedAfter →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
The Undecidable → containsWorkBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Grundzüge der theoretischen Logik → influenced →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
linked to: Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
Philip Wadler → influencedBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
John C. Reynolds → influencedBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
combinatory logic → developedBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry–Howard correspondence → namedAfter →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry–Howard correspondence → developedBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Moses Schönfinkel → influenced →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
Curry (program transformation) → namedAfter →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ
William Alvin Howard → influencedBy →
"Haskell Curry"
↳ resolves to Haskell Curry
ⓘ