Haskell Brooks Curry was an American mathematician and computer scientist, best known for his work in combinatory logic. Curry is also known for Curry's paradox and the Curry-Howard correspondence; the programming languages Haskell, Brook and Curry are named for him, as is the concept of currying. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Connections
Invented By
Haskell Curry observed the correspondence between combinatory logic and intuitionistic logic in the 1930s that gives the correspondence half its name.
Sources
1. Wikipedia: Haskell Curry
Wikimedia FoundationLead section
Haskell Brooks Curry was an American mathematician and computer scientist. Curry is best known for his work in combinatory logic.
Infobox, Born
September 12, 1900
Infobox, Died
September 1, 1982
View the Source Haskell Curry (Wikidata)
Wikidata alias: Haskell Brooks Curry
Haskell Brooks Curry
Wikidata alias: Haskell B. Curry
Haskell B. Curry
Wikidata alias: H.B. Curry
H.B. Curry
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.