To H.B.Curry 
Subtitle: essays on combinatory logic, lambda calculus, and formalism
Contributors: J.P. Seldin (Editor); J.R. Hindley (Editor)
Publisher: Academic Press Inc.,U.S.
Published: September 1980
Language: eng
Number of pages: 631
ISBN-13: 9780123490506