3 ms·
History of Lambda-calculus, Combinatory Logic, and Types
- dirtbox 17y agoHow they did that without a Lisp Machine and a massively complex keyboard, I will never know.
- greenlblue 17y agoInteresting read.
- camccann 17y agoAs a random aside, Dr. Haskell Curry has the interesting distinctions of: 1) Having his first name borrowed for something, putting him in the company of Ada Byron and few others 2) Having his last name not merely borrowed, but frequently written lowercase, putting him in the company of Boole, Abel, and (again) few others. A fair tribute, I suppose, while so much else seems to focus on Church and Turing.