Seldin, J. P. (ed.); Hindley, J. R. (ed.) [Seldin, J. P.; Kearns, J. T.; Bunder, M. W.; Aczel, P.; Feferman, S.; Gilmore, P. C.; Fitch, F. B.; Kuzichev, A. S.; Levy, J. J.; Klop, J. W.; Wadsworth, C. P.; Böhm, C.; Mitschke, G.; Visser, A.; Barendregt, H.; Koymans, K.; Longo, Giuseppe; Sanchis, L. E.; Plotkin, G. D.; Lambek, J.; Scott, D. S.; Gandy, R. O.; Howard, W. A.; Diller, J.; Meredith, D.; Statman, R.; Coppo, M.; Dezani-Ciancaglini, M.; Veneri, B.; Pottinger, G.; de Bruijn, N. G.] 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 25 ReviewsCited in 148 Documents 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.) Keywords:models of lambda-calculus; combinatorial algebras; typed lambda calculus; typed terms; biography and complete bibliography of H. B. Curry; Curry’s program; illative combinatory logic; abstraction; extensions of combinatory logic; syntax; reductions; semantics; domains; type-free theories; reflexive domains; normalization; formulae-as-types notion; automath Biographic References: Curry, Haskell Brooks × Cite Format Result Cite Review PDF