Automotive Holiday Deals Books Holiday Gift Guide Shop Men's Athletic Shoes Learn more nav_sap_plcc_6M_fly_beacon Adele egg_2015 All-New Amazon Fire TV Beauty Deals Gifts Under $50 Amazon Gift Card Offer minions minions minions  Amazon Echo Starting at $84.99 Kindle Black Friday Deals BestoftheYear Shop Now HTL
Lambda-Calculus and Combinators: An Introduction and over one million other books are available for Amazon Kindle. Learn more

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Lambda-Calculus and Combinators: An Introduction 2nd Edition

3 customer reviews
ISBN-13: 978-0521898850
ISBN-10: 0521898854
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $30.34
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used On clicking this link, a new layer will be open
$60.00 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$72.61 On clicking this link, a new layer will be open
More Buying Choices
25 New from $67.55 21 Used from $60.00
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

$72.61 FREE Shipping. Only 4 left in stock (more on the way). Ships from and sold by Gift-wrap available.

Frequently Bought Together

  • Lambda-Calculus and Combinators: An Introduction
  • +
  • An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
  • +
  • Purely Functional Data Structures
Total price: $127.41
Buy the selected items together

Editorial Reviews


From reviews of the first edition: 'The book of R. Hindley and J. Seldin is a very good introduction to fundamental techniques and results in these fields ... the book is clear, pleasant to read, and it needs no previous knowledge in the domain, but only basic notions of mathematical logic ... Clearly, it was impossible to treat everything in detail; but even when a subject is only skimmed, the book always provides an incentive for going deeper, and furnishes the means to do it, owing to a substantial bibliography. Several chapters end with interesting and useful notes with history, comments, and indications for further reading ... In conclusion, this book is very interesting and well written, and is highly recommended to everyone who wants to approach combinatory logic and lambda-calculus (logicians or computer scientists). J. Symbolic Logic

'The best general book on lambda-calculus (typed or untyped) and the theory of combinators.' Gérard Huet, INRIA

'... for teaching and for research or self-study the book is an outstanding source with its own clear merits. I think this second edition of this classical book is a beautiful asset for the literature on λ-calculus and CL.' Theory and Practice of Logic Programming

'... well written and offers a broad coverage backed by an extensive list of references. It could serve as an excellent study material for classes on λ-calculus and CL as well as a reference for logicians and computer scientists interested in the formal background for functional programming and related areas.' EMS Newsletter

'Without doubt this is a valuable treatment of a venerable topic that rewards those who understand it. The authors successfully promulgate their tradition, and that is certainly more important than providing full proofs for every result.' The Journal of JFP

Book Description

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Hero Quick Promo
Holiday Deals in Kindle Books
Save up to 85% on more than 1,000 Kindle Books. These deals are valid until November 30, 2015. Learn more

Product Details

  • Hardcover: 358 pages
  • Publisher: Cambridge University Press; 2 edition (August 11, 2008)
  • Language: English
  • ISBN-10: 0521898854
  • ISBN-13: 978-0521898850
  • Product Dimensions: 6 x 0.9 x 8.7 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Average Customer Review: 4.7 out of 5 stars  See all reviews (3 customer reviews)
  • Amazon Best Sellers Rank: #185,298 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See all 3 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

7 of 7 people found the following review helpful By Qinglai Xiao on April 27, 2014
Format: Kindle Edition Verified Purchase
I've been learning Standard ML, Scheme and Lisp, and I've been writing small programs with these languages.
However I was only able to know how, rather than why of these languages, which are deeply rooted in Lambda calculus.
I knew how lambda and combinators work, but I had no idea why they were invented in the first place.
When reading this book, I started to get the idea behind these languages. And I now can understand why these languages were invented, and from where those concepts were innovated.
This book answers all my questions of "why", gives a thorough and clear background from a historical point of view, and suggests a long list of other books as reference.
The examples and exercises are well organized which help a lot in understanding the newly introduced concepts. Most of the exercises have answers, except very trivial ones.
Though there are tons of documents of Lambda and combinators online, I believe this is the best book as an introduction to Lambda and combinators. Strongly recommended to all that want to understand the why of Lambda and combnators.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
2 of 2 people found the following review helpful By P. Lepin on December 31, 2014
Format: Kindle Edition Verified Purchase
I found Hindley and Seldin's book to be a reasonably good fit for my expectations, and I think it's just the right expectations that really matter when you're deciding whether to take it on or not.

Firstly, I should note that in my opinion this book is really written from a logician's or mathematician's perspective rather than a computer scientist's one. Of course, the boundary between logic and foundational parts of theoretical computer science is thin at best, but I feel that the approach taken here, the parts of the subject chosen for study and the general tone of the text reflect a more abstract perspective than that I'd expect from a "model" CS book. In particular, I found the sections covering equality and modelling of lambda calculus to be rather boring and ill-motivated -- not because of any inherent qualities of those chapters, but simply because I presently have little interest in those specific subjects, and so far I fail to see why would they be important for me as a student of PLT and FP.

That said, if you're interested in stuff somewhat closer to the proverbial metal, the book still offers plenty of juicy stuff for you to ponder. The introduction to untyped lambda calculus, combinatory logic and simply typed lambda calculus provides a very principled coverage of those topics, discussing the subtle differences between the calculi in much gory detail, and being richly adorned with many lemmas one would take for granted, but which are discussed here in full formal glory instead, allowing the reader to develop -- if one so desires -- a fairly nuanced feel for the fundamentals.
Read more ›
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
By Nahatz on November 22, 2015
Format: Hardcover Verified Purchase
Good introduction by an expert in the field.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Lambda-Calculus and Combinators: An Introduction
This item: Lambda-Calculus and Combinators: An Introduction
Price: $72.61
Ships from and sold by

Want to discover more products? Check out these pages to see more: logical form quantifiers, enderton, a mathematical introduction to logic,