Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site bmcg.UUCP
Path: utzoo!watmath!clyde!burl!mgnetp!ihnp4!houxm!houxz!vax135!floyd!harpo!decvax!ittvax!dcdwest!sdcsvax!bmcg!anne
From: anne@bmcg.UUCP
Newsgroups: net.wanted
Subject: Summary: lambda calculus references
Message-ID: <1034@bmcg.UUCP>
Date: Tue, 12-Jun-84 09:45:11 EDT
Article-I.D.: bmcg.1034
Posted: Tue Jun 12 09:45:11 1984
Date-Received: Wed, 13-Jun-84 23:49:32 EDT
Organization: Burroughs Corporation, San Diego
Lines: 35

[summary follows]
Thanks to all who responded to my request for references on
the lambda calculus.  Here are the results:

Wegner, Peter; Programming Languages, Information Structures,
  and Machine Organization; McGraw-Hill 1968; has examples
  of several lambda-calculus interpreters.
Church, Alonzo; The Calculi of Lambda-Conversion; Annals of
  Mathematical Studies, v.6; Princeton Univ. Press 1941
  (the original source)
Boehm (ed.); Lambda Calculus and Computer Science Theory;
  Springer Verlag 1975; Lecture Notes in Computer Science,
  v.37

Geoff Wyant recommended the following:
  Henderson, Peter; Functional Programming; Prentice-Hall
  Burge, William; Recursive Programming

Bruce Kapron recommends:
  Barendregt, H. THE LAMBDA CALCULUS: ITS SYNTAX AND
    SEMANTICS, North-Holland, Amsterdam (1980); "fairly
    general"
  Stenlund, S.; COMBINATORS, LAMBDA TERMS AND PROOF
    THEORY; d. Reidel Publishing Company, Dordrect,
    Holland (1972); "fairly general"
  Hindley, R. and G. Longo; "Lambda Calculus and
    Extensionality", Z. MATH LOGIK GRUNDLAGEN MATH
    26, pp. 488-521 (1980); "Probably the best paper
    I have seen dealing with models for the lambda
    calculus."

Anne H. Anderson
ucbvax!sdcsvax!bmcg!anne
decvax!ittvax!dcdwest!sdcsvax!bmcg!anne
ihnp4!sdcrdcf!bmcg!anne