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