To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
Haskell B. Curry, J. Roger Hindley (Editor), J. P. Seldin (Editor)
Print Book, English, 1980
Academic Press, London, 1980