Curry's main work was in mathematical logic, especially in the theory of formal systems and processes  combinatory logic, the foundation for functional programming languages. His works includes Combinatory Logic (1958) and Foundations of Mathematical Logic (1963).
The functional computer language Haskell is named after him, as is the process of currying in functional programming languages.
Search Encyclopedia

Featured Article
