P. Aczel: Abstract models of the lambda calculus.
J. Symb. Logic ... (ca. 1983), ...

27427 Klaus Aehlig/Thomas Fischbacher: Einführung in den lambda-Kalkül.
Internet 2001, 100p.

Roberto Amado: Domains and lambda calculus. Cambridge UP 1998. $85.

14307 S. Awodey: Topological representation of the \lambda-calculus.
Internet 1998, 21p.

22994 Paolo Baldan/Clara Bertolissi/Horatio Cirstea/Claude Kirchner: A rewriting
calculus for cyclic higher-order term graphs. Internet 2006, 47p.

9727 Hendrik Pieter Barendregt: The lambda calculus. Its syntax and
semantics. Elsevier 1990. 0-444-87508-5 (pb.). $57.

14321 Hendrik Pieter Barendregt: Kreisel, lambda calculus, a windmill and a
castle. Internet ca. 1995, 11p.

J. Barwise/H. Keisler/K. Kunen (ed.): The Kleene symposium.
North-Holland 1980.

Johan van Benthem: Language in action. Categories, lambdas and
dynamic logic. MIT Press 1995. 0-26272024-8 (pb.): $32.

Marc Bezem/Jan Grotte (ed.): Typed lambda calculi and applications.
Springer LN CS 664 (1993), 433p. 3-540-56517-5. DM 84.

Corrado Bo''hm (ed.): Lambda calculus and computer science theory.
Springer LN CS 37 (1975).

Alonzo Church: A set of postulates for the foundation of logic I-II.
Ann. Math. 33 (1932), 346-366; 34 (1933), 839-864.

9726 Alonso Church: The calculi of lambda conversion.
Princeton UP 1985. 0-691-08394-0. $20.

Roy Crole: Categories for types.
Cambridge UP 1994. 0-521-45701-7 (pb.). $30.

Mariangiola Dezani/Gordon Plotkin (ed.): Typed lambda calculi and
applications. Springer LN CS 902 (1995), 440p. 3-540-59048-X. DM 86.

13582 Mark-Jason Dominus: Pure untyped lambda-calculus and popular
programming languages. J. Funct. Progr. January 1999, 1-7.

20008 Solomon Feferman: Turing's thesis. Notices AMS November 2006, 1200-1206.

16939 Thomas Fischbacher: The lambda calculus. Internet 2003, 10p.

J. Ginisti: La logique combinatoire.
Presses Univ. France 1997, 130p. 2-13-048010-1. FF 42.

Healfdene Goguen/Jean Goubault-Larrecq: Sequent combinators - a Hilbert
system for the lambda calculus.
Math. Struct. Comp. Sci. 10/1 (2000), 1-79.

Philippe de Groote/J. Hindley (ed.): Typed lambda calculi and
applications. Springer LN CS 1210 (1997), 410p. 3-540-62688-3. DM 90.

Andreas Gruchalski: Constructive domain models of typed lambda-calculi.
Shaker 1996, 160p. 3-8265-1497-7. DM 94.

Carl Gunter: Semantics of programming languages.
MIT Press 1992, 440p. DM 82.

9867 Chris Hankin: Lambda calculi. A guide for computer scientists.
Oxford UP 1995. 0-19853840-5 (pb.). DM 69.

Roger Hindley/Giuseppe Longo: Lambda calculus models and extensionality.
Zeitschr. Math. Logik Grundl. Math. 26 (1980), 289-310.

Roger Hindley/J. Seldin: Introduction to combinators and lambda-calculus.
Cambridge UP 1985. 0-521-31839-4. Not available.

G. Huet: Logical foundations of functional programming.
Addison-Wesley 1990.

14341 C. Koymans: Models of the lambda-calculus.
Information and Control 52 (1982), 306-332.

J. Krivine: Lambda-calculus, types and models.
Ellis Horwood 1993. 0-13062407-1. $50.

Luis Mandel: Constrained lambda calculus.
Shaker 1995, 210p. 3-8265-0766-5. DM 98.

14340 Albert Meyer: What is a model of the lambda calculus?
Information and Control 52 (1982), 87-122.

Greg Michaelson: An introduction to functional programming through
lambda calculus. Addison-Wesley 1989, 320p. o-201-17812-5. $31.

John Mitchell: Foundations for programming languages.
MIT Press 1996, 870p. DM 192.

G. Revesz: Lambda-calculus, combinators and functional programming.
Cambdrige UP 1988. 0-521-34589-8. Not available.

Dana Scott: Some philosophical issues concerning theories of combinators.
In Bo''hm 1975, 346-366.

Dana Scott: Data types as lattices. SIAM J. Comp. 5 (1976), 522-587.

Dana Scott: Lambda calculus - some models, some philosophy.
In Barwise/Keisler/Kunen 1980, 223-266.

J. Stoy: Denotational semantics - the Scott-Strachey approach to
programming languages. MIT Press 1977.

Ralf Zimmer: Zur Pragmatik eines operationalisierten
lambda-Kalku''ls fu''r interaktive Reduktionssysteme.
Oldenbourg 1991, 440p. 3-486-21956-1. DM 102.