To H.B. Curry
Subtitle: essays on combinatory logic, lambda calculus, and formalism
By: edited by J.P. Seldin, J.R. Hindley.
Contributors: Curry, Haskell B. 1900-; Hindley, J. Roger.; Seldin, J. P.
Publisher: Academic Press; Grune & Stratton
Published: 1980
Place of publication: London; New York
Language: eng
Number of pages: 606
Subjects: Curry, Haskell B. 1900-; Logic, Symbolic and mathematical -- Addresses, essays, lectures.
Notes: Bibliography: p. [xiii]-xx.