Enjoy fast, FREE delivery, exclusive deals and award-winning movies & TV shows with Prime
Try Prime
and start saving today with Fast, FREE Delivery
Amazon Prime includes:
Fast, FREE Delivery is available to Prime members. To join, select "Try Amazon Prime and start saving today with Fast, FREE Delivery" below the Add to Cart button.
Amazon Prime members enjoy:- Cardmembers earn 5% Back at Amazon.com with a Prime Credit Card.
- Unlimited Free Two-Day Delivery
- Instant streaming of thousands of movies and TV episodes with Prime Video
- A Kindle book to borrow for free each month - with no due dates
- Listen to over 2 million songs and hundreds of playlists
- Unlimited photo storage with anywhere access
Important: Your credit card will NOT be charged when you start your free trial or if you cancel during the trial period. If you're happy with Amazon Prime, do nothing. At the end of the free trial, your membership will automatically upgrade to a monthly membership.
Buy new:
$34.95$34.95
FREE delivery:
Wednesday, June 21
Ships from: Amazon.com Sold by: Amazon.com
Buy used: $10.75
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required. Learn more
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
Follow the Authors
OK
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
| Price | New from | Used from |
- Kindle
$14.72 Read with Our Free App - Paperback
$10.75 - $34.95Other new and used from $6.69
-
90 days FREE Amazon Music. Terms apply.
90 days FREE of Amazon Music Unlimited. Offer included with purchase. Only for new subscribers who have not received offer in last 90 days. Renews automatically. You will receive an email to redeem. Terms apply. Offered by Amazon.com. Here's how (restrictions apply)
Purchase options and add-ons
- ISBN-100486478831
- ISBN-13978-0486478838
- PublisherDover Publications
- Publication dateAugust 18, 2011
- LanguageEnglish
- Dimensions6.5 x 0.5 x 8.75 inches
- Print length336 pages
Frequently bought together

What do customers buy after viewing this item?
- Highest ratedin this set of products
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)Paperback - Most purchasedin this set of products
Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)Paperback
Special offers and product promotions
- 90 days FREE of Amazon Music Unlimited. Offer included with purchase. Only for new subscribers who have not received offer in last 90 days. Renews automatically. You will receive an email to redeem. Terms apply. Offered by Amazon.com. Here's how (restrictions apply)
Editorial Reviews
About the Author
Product details
- Publisher : Dover Publications (August 18, 2011)
- Language : English
- Paperback : 336 pages
- ISBN-10 : 0486478831
- ISBN-13 : 978-0486478838
- Item Weight : 1.01 pounds
- Dimensions : 6.5 x 0.5 x 8.75 inches
- Best Sellers Rank: #849,075 in Books (See Top 100 in Books)
- #58 in Functional Software Programming
- #400 in Object-Oriented Design
- #756 in Calculus (Books)
- Customer Reviews:
About the authors

Discover more of the author’s books, see similar authors, read author blogs and more

Greg Michaelson has been publishing short stories since 2001. His first novel, The Wave Singer (Argyll, 2008) was shortlisted for a Scottish Arts Council/Scottish Mortgage Trust First Book Award. Greg lives and works in Edinburgh.
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on Amazon-
Top reviews
Top reviews from the United States
There was a problem filtering reviews right now. Please try again later.
So even though this is an old book, there's not a whole lot about it that's dated. If anything, it's dated in a very good way: it doesn't use academic language or assume you know a lot of programming concepts (many of which hadn't even been invented, so maybe that's part of it) or anything like that. It's easy to follow along with and lambda calculus is actually kind of fun. It's such a trivially simple method of calculating, but with thought you can create some very high-level math and programming ideas and see how they play out.
By the way, no math knowledge is required to understand this book. Honestly, all you really need to know is the basic concept of addition and multiplication since the author will be implementing addition and multiplication functions. Other than that, there's no reason an absolute beginning to math or programming couldn't pick up this book. You might have to read the second chapter a second time after you get the hang of it.
I want to give it five stars, but it was hard getting going like I mentioned. However, you can easily overcome that by finding and introductory article online or something. Nothing's perfect, but I'm very glad I bought this book.
The price is right.
I have the Kindle edition and it is fine on a decent monitor but does not display well on a cell phone.
Before finding this book I looked at many resources and found nothing I could learn from.
For a novel take on similar material, I recommend the puzzles of Raymond Smullyan, particularly his collection "Satan, Cantor, and Infinity".
The coolest part is that this volume shows you how to do everything with lambda calculus, that is with functions. Numbers, booleans, recursion, its all here. Great fun for the right kind of person.
Top reviews from other countries
It starts with basic lambda functions i.e. λx.x or λx.λy.x and builds logic operators, conditionals, numbers, arithmetic operations, and data structures such as lists and trees. It's fascinating how you get from basic functions like λx.x and λx.λy.x to data structures like lists and trees.
The reductions/replacements that you're introduced to in the first couple chapters are a bit difficult to comprehend at first but after doing the exercises at the end of the chapters I was able to read and understand it without much difficulty. Although, doing so was tedious.
I didn't find the final two chapters that covered the ML and LISP languages to be very good. The author tried to give a brief overview of the languages in 30 pages (per language). Which is an impossible task so he just touched on the very basics. Overall I didn't find them very informative or useful. However, the rest of the book was great and I would recommend it to anyone who is interested in learning lambda calculus.
本書は知識を提示するだけではなく、実際に筆算する事で両方の側面を身につけさせる好著だ。
実際、λ計算は、いくら眺めていてもできるようにはならないし、できないと問題を関数型プログラミング言語に載せる事ができない。
また、スラスラ読める本ではないので、毎日取り出して少し進んでは戻り、で読了までには結構時間が掛かりそう。
手っ取り早くλ計算が「分かりたい」だけの人には向かないと思う。
This book makes you understand the functional paradigm in the best way. I'm not even done with the book yet (i'm 8 chapters in tough), and i feel like i learned so much. It goes to the roots of functional programming (lambda calculus) and builds from there. I wouldn't understand the functional paradigm if it wasn't for this book, it's that great. Every notion has examples, and every example is very easy to follow. You don't need a mathematical background since they teach everything you need.
I truly feel like this is a must read for every computer science and functional programming enthusiast. It's about 250 pages of theory and application so it's a light book! I loved it, changed my perspective on programming for ever.
If you are interested in Haskell and all these things, get this book and read it cover to cover, you won't regret it.












