The Curry-Howard correspondence

• Haskell Curry (1900-1982)
• Started studying medicine at Harvard in 1916
• enlisted in the war on 18 October 1918
• inspired by a 1924 paper by M Schoenfinkel
• Ph.D in mathematics from Goettingen in 1930
• wrote on Combinatory Logic from 1958-1980
• taught at Harvard, Princeton, Pennsylvania State University, and the University of Amsterdam