You are here: Home / Shop / Product Detail Page |

## The Lambda Calculus: Its Syntax and Semantics, Revised Edition (Softcover)"Around 1930 the type free lambda calculus was introduced as a foundation for logic and mathematics. Due to the appearance of paradoxes, this aim was not fulfilled, however. Nevertheless a consistent part of the theory turned out to be quite successful as a theory of computations. It gave an imporatnt momentum to early recusion theory and more recently to computer science." — From the back cover ## $24.99 |

### Need More Info?

Please contact us if you've got questions about this product.## Condition

**GOOD:** The covers of this book show the most use and wear, with minimal spotting and fading, and wear on the corners. The pages are free of writing and are in very good condition.

## Description

This is Volume 103 in the **Studies in Logic and the Foundations of Mathematics** series published by Elsevier.

Continued from the back cover: “Moreover, in spite of the paradoxes, the possibility of using the lambda calculus as an alternative foundation is still open. This question recently received a good deal of renewed attention.

“As a result of these developments, the lambda calculus has grown into a theory worth studying for its own sake. This *pure* lambda calculus is the subject matter of this book. Readers interested in applications may also find the book useful, since these applications are usually heuristic rather than direct. Constructions in the lambda calculus give the right intuition for constructions in, for example, the semantics of programming languages. Thus the book is written for logicians, mathematicians, computer scientists and philosophers.”

**Part I. Towards the Theory**

- Introduction
- Conversion
- Reduction
- Theories
- Models

**Part II. Conversion**

- Classical Lambda Calculus
- The Theory of Combinators
- Classical Lambda Calculus (Continued)
- The λ
*I*-Calculus - Böhm Trees

**Part III. Reduction**

- Fundamental Theorems
- Strongly Equivalent Reductions
- Reduction Strategies
- Labelled Reduction
- Other Notions of Reduction

**Part IV. Theories**

- Sensible Theories
- Other Lambda Theories

**Part V. Models**

- Construction of Models
- Local Structure of Models
- Global Structure of Models
- Combinatory Groups

**Appendices**

- Typed Lambda Calculus
- Illative Combinatory Logic
- Variables

**End Matter**

- Addenda
- References
- Index of Names
- Index of Definitions
- Index of Symbols

## Details

- SKU:
- 2617
- Author:
- Barendregt, Hendrik Pieter
- Publisher:
- Elsevier Science B.V.
- Publish Date:
- (c) 1984; 2001 (Fifth Printing)
- Format:
- Softcover
- Weight (pounds):
- 2.17
- Dimensions (W”xL”xH”):
- 5.9″x8.9″x1″
- ISBN-13:
- 9780444875082
- ISBN-10:
- 0444875085

## Related Products

### Products related to "The Lambda Calculus: Its Syntax and Semantics, Revised Edition (Softcover)"

- Views:

#### Dolciani Mathematical Expositions No. 21: Logic as Algebra (Softcover)

$19.79

"This book is an introduction to modern logic, but it is quite different from other introductory books on the subject." — From the back cover

#### Texts and Monographs in Computer Science: A Logical Approach to Discrete Math (Hardback)

AT AUCTION

Click Link for Details"Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics." — From the back cover

#### The Reasoned Schemer (Softcover)

$17.99

"The goal of

*The Reasoned Schemer*is to help the functional programmer think logically and the logic programmer think functionally." — From the back cover#### Modern Compiler Implementation in ML, Revised and Expanded Edition (Hardback)

$92.95

"This textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems." — From the back cover

#### Discrete Mathematics and Its Applications: Handbook of Computational Group Theory (Hardback)

$79.99

"The origins of computational group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics." — From the back cover

#### Iterative Methods for Sparse Linear Systems, Second Edition (Softcover)

AT AUCTION

Click Link for Details"This book can be used to teach graduate-level courses on iterative methods for linear systems. Engineers and mathematicians will find its contents easily accessible, and practitioners and educators will value it as a helpful resource. The preface includes syllabi that can be used for either a semester- or quarter-length course in both mathematics and computer science." — From the back cover

#### Scheduling: Theory, Algorithms, and Systems, Third Edition (Hardback + CD-ROM)

$52.25

"This book on scheduling covers both theoretical models as well as scheduling problems in the real world. Author Michael L. Pinedo also includes a CD that contains slide-shows from industry and movies dealing with implementations of scheduling systems." — From the back cover

#### Encyclopedia of Mathematics and Its Applications 94: Mathematical Constants (Hardback)

$47.39

"The pages of

*Mathematical Constants*abound in thousands of tales about numbers. This book is an amazing piece of erudition destined to fascinate the novice, puzzle the exerpt, and trigger the imagination of all." — the late Philippe Flajolet, renowned computer scientist#### Polyhedra (Softcover)

$45.99

"Polyhedra have cropped up in many different guises throughout recorded history. In modern times, polyhedra and their symmetries have been cast in a new light by combinatorics and group theory." — From the back cover

#### Addison-Wesley Professional Ruby Series: Refactoring, Ruby Edition (Hardback)

$42.59

"Refactoring is the process of changing a software system in such a way that it does not alter the external behavior of the code yet improves its internal structure. It is a disciplined way to clean up code that minimizes the chances of introducing bugs. In essence when you refactor you are improving the design of the code after it has been written." — From the Preface

#### Handbook of Mathematics and Computational Science (Hardback)

$39.50

"The Harris and Stocker Handbook of Mathematics and Computation Science is a complete desk-top reference for working scientists, engineers, and students. It serves as a veritable math toolbox for rapid access to a wealth of mathematics information for everyday use in problem solving, homework, examinations, etc." — From the back cover

#### Clifford Algebras with Numeric and Symbolic Computations (Hardback)

$37.99

"This new book is an excellent resource for those mathematicians, physicists, engineers, and scientific computing researchers who currently use Clifford algebra methods in their investigations. It is also appealing to those who would like to quickly become familiar with the theory and computational practice in some of the most recent and fascinating applications of Clifford algebras." — From the back cover

#### Quantum Computer Science: An Introduction (Hardback)

$34.95

"In the 1990s it was realized that quantum physics has some spectacular applications in computer science. This book is a concise introduction to quantum computation, developing the basic elements of this new branch of computational theory without assuming any background in physics." — From the back cover

#### F# for Scientists (Hardback)

$33.75

"Written in a clear and concise manner,

*F# for Scientists*is well suited for researchers, scientists, and developers who want to program under the Windows platform. It also serves as an ideal supplement text for advanced undergraduate and graduate students with a background in science or engineering." — From the back cover#### Plato's Ghost: The Modernist Transformation of Mathematics (Hardback)

$33.29

"In this impressive synthesis, Gray brings, in a largely nontechnical way, the technical development of mathematics from the 1880s to the 1930s into the broader historical analysis of the concept of modernity." — Karen Hunger Parshall, author of

*James Joseph Sylvester: Jewish Mathematician in a Victorian World*(from the back cover)#### Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (Softcover)

$31.49

"This volume is an excellent text for a course on AI programming, a useful supplement for general AI courses and an indispensable reference for the professional programmer." — From the back cover

#### Steps in Scala: An Introduction to Object-Functional Programming (Softcover)

$26.79

"In this book we show show Scala proves to be a highly expressive, concise, and scalable language, which grows with the needs of the programmer, whether professional or hobbyist." — From the back cover

#### Structure and Interpretation of Computer Programs, MIT Press Edition (Hardback)

$25.99

"Note that this is a text about programming, unlike most Lisp books, which are used as a preparation for work in artificial intelligence. After all, the critical programming concerns of software engineering and artificial intelligence tend to coalesce as the systems under investigation become larger. This explains why there is such growing interest in Lisp outside of artificial intelligence." — From the Foreword by Alan J. Perlis (page xiv)

#### Mathematical Logic (Softcover)

$25.95

"This classic text is as fresh and useful today as when first published. Noted for the economy of its presentation, it includes a wealth of basic and key results from all parts of mathematical logic." — Solomon Feferman, Stanford University

#### Ant Colony Optimization (Hardback)

$23.95

"The complex social behaviors of ants have been much studied by science, and computer scientists are now finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems." — From the back cover