Haskell Curry

+Haskell Curry (1900–1982) was an American mathematician and logician whose pioneering work profoundly shaped computer science. He developed [Combinatory Logic](/wiki/combinatory_logic) and made significant contributions to [Type Theory](/wiki/type_theory), concepts foundational to modern programming. His ideas continue to influence the design of logical systems and [Functional Programming](/wiki/functional_programming).

+## See also

+- [Logic](/wiki/logic)

+- [Lambda Calculus](/wiki/lambda_calculus)

+- [Curry-Howard Correspondence](/wiki/curry-howard_correspondence)