To H.B. Curry: Essays on Combinatory Logic, Lambda. Calculus and Formalism [pdf]pauillac.inria.fr5 pointstosh10 years ago