Born
1900
Died
1982
Nationality
American
Events involving Haskell Curry (2)
1934
ID: 400
Haskell Curry develops combinatory logic, providing alternative foundation to lambda calculus
ID: 400
1940
ID: 402
Curry and Robert Feys begin developing the Curry-Howard correspondence between proofs and programs
ID: 402