×

To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. (English) Zbl 0469.03006

London etc.: Academic Press, A Subsidiary of Harcourt Brace Jovanovich, Publishers. XXV, 606 p., £26.60; $ 64.00 (1980).

MSC:

03B40 Combinatory logic and lambda calculus
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
01A70 Biographies, obituaries, personalia, bibliographies
03A05 Philosophical and critical aspects of logic and foundations
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)

Biographic References:

Curry, Haskell Brooks