References for Haskell Curry

Version for printing
  1. Biography in Encyclopaedia Britannica.
    http://www.britannica.com/EBchecked/topic/147090/Haskell-Brooks-Curry

Books:

  1. J P Seldin and J R Hindley (eds.), To H B Curry : essays on combinatory logic, lambda calculus and formalism (London-New York, 1980).

Articles:

  1. A short biography of Haskell B Curry, in To H B Curry : essays on combinatory logic, lambda calculus and formalism (London-New York, 1980), vii-xi.
  2. Bibliography of Haskell B Curry, in To H B Curry : essays on combinatory logic, lambda calculus and formalism (London-New York, 1980), xiii-xx.
  3. J P Seldin, In memoriam: Haskell Brooks Curry, in Perspectives on the history of mathematical logic (Boston, Boston, MA, 1991), 169-175.
  4. J P Seldin, Curry's program, in To H B Curry : essays on combinatory logic, lambda calculus and formalism (London-New York, 1980), 3-33.
JOC/EFR November 2004

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Curry.html