The Lambda Calculus: Its Syntax and Semantics

Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co. (1984)
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Keywords Lambda calculus
Categories (categorize this paper)
Buy the book $354.57 used   $2000.00 new    Amazon page
Call number QA9.5.B36 1984
ISBN(s) 0444867481  
DOI 10.2307/2274112
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 15,938
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Mark Jago & Stephen Barker (2012). Being Positive About Negative Facts. Philosophy and Phenomenological Research 85 (1):117-138.
Nissim Francez & Roy Dyckhoff (2012). A Note on Harmony. Journal of Philosophical Logic 41 (3):613-628.
Mark Jago (2011). Setting the Facts Straight. Journal of Philosophical Logic 40 (1):33-54.

View all 45 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

15 ( #171,927 of 1,725,630 )

Recent downloads (6 months)

12 ( #56,139 of 1,725,630 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.