Buy New

Sign in to turn on 1-Click ordering.
Buy Used
Used - Good See details
Price: 15.24

Trade in Yours
For a 3.77 Gift Card
Trade in
More Buying Choices
Have one to sell? Sell yours here
Sorry, this item is not available in
Image not available for
Image not available

Tell the Publisher!
Id like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) [Paperback]

Henk Barendregt

Price: 17.50 & FREE Delivery in the UK. Details
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Only 3 left in stock (more on the way).
Dispatched from and sold by Amazon. Gift-wrap available.
Want it tomorrow, 24 Aug.? Choose Express delivery at checkout. Details
Trade In this Item for up to 3.77
Trade in The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) for an Amazon Gift Card of up to 3.77, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Learn more

Book Description

30 April 2012 184890066X 978-1848900660
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.

Frequently Bought Together

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) + Lambda Calculus with Types (Perspectives in Logic)
Buy the selected items together

Product details

Inside This Book (Learn More)
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index
Search inside this book:

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

There are no customer reviews yet on
5 star
4 star
3 star
2 star
1 star
Most Helpful Customer Reviews on (beta) 4.0 out of 5 stars  3 reviews
11 of 11 people found the following review helpful
4.0 out of 5 stars The ultimate full treatment of untyped lambda calculus 30 Nov 2012
By Native of Neptune - Published on
Verified Purchase
This review was restarted on Thu 15Aug13 during actual reading of this book.

I am somehow quite motivated to learn lambda calculus, since it is so historically important and also closely related to functional programming languages. Plus it is interesting for its own sake.

Other textbooks on the subject, of which I own several, never get around to helping us learn what lambda expressions are actually telling us. Those expressions remain pure gobbledegook. I am well into reading chapter 2 of this reprinted famous 1984 edition by Henk Barendregt and the fog is already starting to clear. In many places, the author didn't write a lot of descriptive prose, but when he did, there always seemed to be a great insight in it. So be aware of that good bang for the buck.

Another thing I like about the approach here is that combinators mostly flow out of lambda calculus instead of being a fully separate subject of equal status to lambda as in the other good standard text by Hindley and Seldin, which I read into chapter 10 in fall of 2011. Lambda-Calculus and Combinators: An Introduction ((Historically, lambda calculus and combinatory logic WERE invented and developed separately, starting in the 1930s. Lambda by Alonzo Church and his illustrious students at Princeton / combinatory by Haskell Curry and colleagues, some of them during his sojourns in Holland and Gottingen.)) By the way, Haskell Curry is still noteworthy, as the Haskell functional programming language is named after him, and there is another computation method referred to as 'currying', again after his last name.

Finished great chapter 2 on conversion on Sun 18Aug13 / barely started chapter 3 on reduction. Chapter 3 is as well-written and clear as chapter 2 was. Finished short and great chapter 4 about theories on Tue 3Sep13. Chapter 5 on lambda models is the last one in Part I, is over 30 pages long, and is fundamentally more difficult than any of chapters 1-4, so since I don't plan to read the Part V chapters of 18-21, I am skipping chapter 5 to start Part II with chapter 6 on classic lambda calculus. I did read the survey of Part V at end of chap5 on Thu 5Sep13 afternoon, however. I hope to continue understanding this book at least thru chapter 9 of its 21 chapters.

Chapter 6 on classic lambda is a gem of mainstream lambda calculus including a little bit of abstraction. Finished chap 6 on Fri 13Sep13. On Sun 15Sep13 afternoon, I well started short chapter 7 on combinators. Rather unusual, and stripped down to a tedious definition/theorem/proof bare bones approach. By section 7.2 though more clear and helpful writing returned to moderate extent. Did push thru the last 5 pages of chapter 7 on Wed 18Sep13 afternoon. Chapter 8 on more of classical lambda calculus soon, as I am a bit focussed on finishing final chapter IV of The Foundations of Mathematics (Logic). Enthusiastically got started on terrific chapter 8 on Wed 25Sep13 evening, so more later. Sections 8.1 and 8.2 were well written and quite interesting. Section 8.3 though is one of those fully Definition/Theorem/Proof (DTP) shuffles, a student-unfriendly type of writing. Difficult section 8.4, not just DTP all read, completing chapter 8 on Tue 8Oct13 evening. Chapter 9 on lambda-I calculus is completely DTP and the proofs tend to be getting longer, so my reading of this book unfortunately ended at end of chapter 8.
It really is great to be able to purchase this thorough and legendary book for a reasonable College Publications price, and I have found that CP makes rather durable paperbacks, i.e., more durable than similarly priced Dover books.

Since atypically for books on the CP roster, the Amazon page for this book is somewhat open in their 'Look Inside' utility, I shall not type in a version of the complicated table of contents as I often do in my reviews. Please check that 'look inside' for the full TOC. There are five 'Parts' of this book, each containing at least two chapters. Chapters 2-5 in part I introduce the main subjects of parts II thru V, and they each end with a small survey of the corresponding main Roman numeraled 'part' of the book.

Here is the list of the five parts: I Towards the Theory-1 (chaps 1-5) / II Conversion-129 (chaps 6-10) / III Reduction-273 (chaps 11-15) / IV Theories-409 (chaps 16-17) / V Models-467 (chaps 18-21) / Appendices-557 (A-C) / Full set of references and of indices.
On Thu 19Sep13 late afternoon, I received the new 2013 Lambda Calculus with Types (Perspectives in Logic) from Amazon. I am a member of the Association for Symbolic Logic (ASL), the co-publisher of this 850 page volume. Barendregt, Dekkers, and Statman are the main authors, but quite a few other experts also contributed. It combines familiar notation from the present book with some nice type tables similar to those in Benjamin Pierce's great 2002 type theory book, quite a bit of which I have read. The Amazon 'Look Inside' utility for the new book is notably open for large examination of it.
5 of 5 people found the following review helpful
5.0 out of 5 stars Very good reference book. 28 May 2013
By Nahatz - Published on
Verified Purchase
This book came highly recommended, and definitely lived up to that billing.
This book is a text book in many university classes on the topic at the graduate level.

This book assumes you have the ability to work with formal systems in logic
(I.E. if you were comfortable with symbolic logic you should have no trouble)
That out of the way, it is well written and covers a complex area of logic with breath and clarity.
2 of 2 people found the following review helpful
3.0 out of 5 stars Terse 10 May 2014
By College Student - Published on
Verified Purchase
The book is intended for those who wish to truly understand the theoretical underpinnings of lambda calculus. I think that the book is not for you if you merely want to develop the intuition for it.
Were these reviews helpful?   Let us know

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
First post:
Prompts for sign-in

Search Customer Discussions
Search all Amazon discussions

Look for similar items by category