The Lambda Calculus: Its Syntax and Semantics
Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co. (1984)
| Abstract | 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 | ||||||||||
| Buy the book | $524.99 used Amazon page | |||||||||
| Call number | QA9.5.B36 1984 | |||||||||
| ISBN(s) | 0444867481 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesSaharon Shelah (1984). A Pair of Nonisomorphic $\Equiv{\Infty \Lambda}$ Models of Power $\Lambda$ for $\Lambda$ Singular with $\Lambda\Omega=\Lambda$. Notre Dame Journal of Formal Logic 25 (2):97-104.
Kevin C. Klement (2003). Russell's 1903 - 1905 Anticipation of the Lambda Calculus. History and Philosophy of Logic 24 (1):15-37.
Henk Barendregt (1997). The Impact of the Lambda Calculus in Logic and Computer Science. Bulletin of Symbolic Logic 3 (2):181-215.
György E. Révész (1988). Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
R. A. G. Seely (1987). Categorical Semantics for Higher Order Polymorphic Lambda Calculus. Journal of Symbolic Logic 52 (4):969-989.
Robert E. Byerly (1982). Recursion Theory and the Lambda-Calculus. Journal of Symbolic Logic 47 (1):67-83.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
