 |
|
| THE LAMBDA CALCULUS, 103
| |
| | |
|
|
Its Syntax and Semantics
To order this title, and for more information, click here
Second Edition
By
H.P. Barendregt
Included in series
Studies in Logic and the Foundations of Mathematics, 103
Description
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.
Contents
Towards the Theory.
Introduction. Conversion. Reduction. Theories. Models.
Conversion.
Classical Lambda
Calculus. The Theory of Combinators. Classical Lambda Calculus (Continued). The Lambda-Calculus. Böhm Trees.
Reduction.
Fundamental Theorems. Strongly Equivalent Reductions. Reduction Strategies. Labelled Reduction. Other Notions of Reduction.
Theories.
Sensible Theories. Other Lambda Theories.
Models.
Construction of Models. Local Structure of Models. Global Structure
of Models. Combinatory Groups.
Appendices: Typed Lambda Calculus. Illative Combinatory Logic. Variables.
References.
| Bibliographic details |
Paperback, 654 pages, publication date: OCT-1984
ISBN-13: 978-0-444-87508-2
ISBN-10: 0-444-87508-5
Imprint: NORTH-HOLLAND
|
| Price and Ordering |
Price:
USD 131
EUR 95.95
GBP 81
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
050/500
Last update: 4 Sep 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company