Re: [HM] lambda functions

Rene Grognard (Rene.Grognard@tip.csiro.au)
Tue, 10 Aug 1999 10:55:14 +1000

The Lambda Calculi (Latin plural of Calculus) were the creation of Alonzo
Church:

"The Calculi of Lambda Conversion", Princeton Uni. Press, 1941 (out of print)

see:

http://www.cs.bu.edu/groups/church/alonzo-church.html

for a short biography (and look at the Home Page of the Church Project.)

The relation with John McCarthy and LISP is a bit more problematic but have
a look at:

http://www-formal.stanford.edu/jmc/history/lisp.html

where John McCarthy mentions A. Church's book on lambda-calculus but admits
he didn't understand much more than the basic concept.

John McCarthy has a HomePage:

http://www-formal.stanford.edu/jmc/index.html

from where one can access all his papers (or their revision).

Dr R J-M Grognard