Programming Books C Java PHP Python Learn more Browse Programming Books
Lambda-Calculus and Combinators: An Introduction and over one million other books are available for Amazon Kindle. Learn more
  • List Price: $81.00
  • Save: $56.42 (70%)
Rented from RentU
To Rent, select Shipping State from options above
Due Date: Dec 22, 2014
FREE return shipping at the end of the semester. Access codes and supplements are not guaranteed with rentals.
Used: Good | Details
Sold by RentU
Condition: Used: Good
Comment: Fast shipping from Amazon! Qualifies for Prime Shipping and FREE standard shipping for orders over $35. Overnight, 2 day and International shipping available! Excellent Customer Service.. May not include supplements such as CD, access code or DVD.
Access codes and supplements are not guaranteed with used items.
  • List Price: $81.00
  • Save: $6.15 (8%)
Only 10 left in stock (more on the way).
Ships from and sold by
Gift-wrap available.
Lambda-Calculus and Combi... has been added to your Cart
Trade in your item
Get a $14.77
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Lambda-Calculus and Combinators: An Introduction Hardcover – August 11, 2008

ISBN-13: 978-0521898850 ISBN-10: 0521898854 Edition: 2nd

Buy New
Price: $74.85
Price: $24.58
30 New from $67.79 18 Used from $49.25
Rent from Amazon Price New from Used from
"Please retry"
"Please retry"
$67.79 $49.25

$74.85 FREE Shipping. Only 10 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) + The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Price for all three: $116.63

Buy the selected items together


Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

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: 9.1 x 5.9 x 0.8 inches
  • Shipping Weight: 1.4 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #527,445 in Books (See Top 100 in Books)

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.

More About the Author

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

Customer Reviews

5.0 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

2 of 2 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. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again