In Memoriam: Haskell Brooks Curry
Haskell Brooks Curry died on 1 September 1982 at the age of 81. He will be remembered as one of the founders of mathematical logic in the United States. In particular, he did much to develop combinatory logic, with which his name will always be associated.
KeywordsCombinatory Theory Universal Quantifier Combinatory Logic High Order Logic Lambda Calculus
Unable to display preview. Download preview PDF.
- Curry, H.B. (1939), Remarks on the definition and nature of mathematics, J. Unified Science 9, 164–169.Google Scholar
- Curry, H.B. (1960), The deduction theorem in the combinatory theory of restricted generality, Logique et Analyse 3, 15–39.Google Scholar
- Curry, H.B. (1961), Basic verifiability in the combinatory theory of restricted generality, In Essays on the Foundations of Mathematics, Magnes Press of Hebrew University, Jerusalem, pp. 165–189.Google Scholar
- Curry, H.B., Hindley, J.R., and Seldin, J.P. (1984), Beta strong reduction in combinatory logic: Preliminary report (Abstract), J. Symbolic Logic 49, 688.Google Scholar
- Gaber, A.M. (1949), Profile: Dr. Haskell B. Curry, typescript of 8 pages filed by Curry under the date 11 April 1949.Google Scholar
- Seldin, J.P. (1980), Curry’s program, in Hindley and Seldin, (1980), pp. 3–33.Google Scholar