 |
|
| 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 & ordering Information
Paperback, 654 pages, publication date: OCT-1984
ISBN-13: 978-0-444-87508-2
ISBN-10: 0-444-87508-5
Imprint: NORTH-HOLLAND
Price: Order form
GBP 69.99
USD 124
EUR 104
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: 18 Jul 2008
|
|
| |
| | |
|
|
| |
