Shop Viral Mens Fashion Now
Enjoy fast, free delivery, exclusive deals, and award-winning movies & TV shows.
$83.13 with 8 percent savings
List Price: $90.00
FREE delivery Thursday, July 9. Order within 7 hrs 32 mins
Only 9 left in stock - order soon.
$$83.13 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$83.13
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
Amazon
Amazon
Ships from
Amazon
Returns
FREE 30-day refund/replacement
FREE 30-day refund/replacement
Quick refund
Usually issued within 24 hours. See exceptions
FREE return
At least one free return option available.
Convenient dropoff
At any of our 50,000 US locations.
See return policy
Gift options
Available at checkout
Available at checkout This item is a gift. Change
At checkout, you can add a custom message, a gift receipt for easy returns and have the item gift-wrapped
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Added to

Sorry, there was a problem.

There was an error retrieving your Wish Lists. Please try again.

Sorry, there was a problem.

List unavailable.
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

  • Lambda-Calculus and Combinators: An Introduction

Follow the author

Get new release updates & improved recommendations
J. Roger Hindley
Follow
Something went wrong. Please try your request again later.

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley (Author), Jonathan P. Seldin (Author) Format: Hardcover
4.4 out of 5 stars (18)
{"desktop_buybox_group_1":[{"displayPrice":"$83.13","priceAmount":83.13,"currencySymbol":"$","integerValue":"83","decimalSeparator":".","fractionalValue":"13","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"fzWveK%2Fn6mCbD8x1J1R5dDto5%2BnOs1YJNPfCdJtYwThll2%2F3mf86VP6AzIaB6KzzHVdcyGPnWsTObKZxc92KB4BRMqp3nxL%2Flh4OsDgKnkRA242EQzLE1gMYDeH9xaDGowaaO%2BZIzXTh6XmAUq2uWLteqAPt88Wk7bkWR6OQmJNnlM3EiCC0Zw%3D%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

Combinatory logic and lambda-calculus, originally devised in the 1920’s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Read more
Previous slide of product details
  1. ISBN-10
    0521898854
  2. ISBN-13
    978-0521898850
  3. Edition
    2nd
  4. Publisher
    Cambridge University Press
  5. Publication date
    August 11, 2008
  6. Language
    English
  7. Dimensions
    6 x 1 x 9.25 inches
  8. Print length
    358 pages
Next slide of product details
Read poolside to seaside.Shop kindle Paperwhite. pantry

Frequently bought together

This item: Lambda-Calculus and Combinators: An Introduction
$83.13
Get it as soon as Thursday, Jul 9
Only 9 left in stock - order soon.
Sold by Apex_media🍏 and ships from Amazon Fulfillment.
+
Type Theory and Formal Proof: An Introduction
$89.15
Get it as soon as Thursday, Jul 9
Only 11 left in stock - order soon.
Sold by Apex_media🍏 and ships from Amazon Fulfillment.
Total price: $00
To see our price, add these items to your cart.
Details
Added to Cart
One of these items ships sooner than the other.
Show details Hide details
Choose items to buy together.

Customers also bought or read

Page 1 of 1Start over
Previous page
  1. Book cover Type Theory and Formal Proof: An Introduction
    Type Theory and Formal Proof: An Introduction
    Hardcover
    $89.15
    FREE delivery Thu, Jul 9
  3. Book cover Structural Proof Theory (Volume 0)
    Structural Proof Theory (Volume 0)
    Paperback
    $53.33
    FREE delivery Thu, Jul 9
  4. Book cover Computability and Logic
    Computability and Logic
    Paperback
    $23.27
    Delivery Thu, Jul 9
  6. Book cover A New Introduction to Modal Logic
    A New Introduction to Modal Logic
    Paperback
    $55.00
    FREE delivery Thu, Jul 9
  7. Book cover Beginning Mathematical Logic: A Study Guide
    Beginning Mathematical Logic: A Study Guide
    Paperback
    $7.50
    Delivery Thu, Jul 9
  8. Book cover The Little Schemer - 4th Edition
    The Little Schemer - 4th Edition
    Paperback
    $27.97
    Delivery Jul 13 - 15
  9. Book cover Practical Foundations for Programming Languages
    Practical Foundations for Programming Languages
    Hardcover
    $85.68
    FREE delivery Thu, Jul 9
  15. Book cover Computability: An Introduction to Recursive Function Theory
    Computability: An Introduction to Recursive Function Theory
    Paperback
    $87.00
    FREE delivery Thu, Jul 9
  16. Book cover Purely Functional Data Structures (Volume 0)
    Purely Functional Data Structures (Volume 0)
    Paperback
    $64.00
    FREE delivery Thu, Jul 9
  17. Book cover The Seasoned Schemer, second edition (Mit Press)
    The Seasoned Schemer, second edition (Mit Press)
    Paperback
    $49.00
    FREE delivery Thu, Jul 9
  21. Book cover A Philosophical Introduction to Higher-order Logics
    A Philosophical Introduction to Higher-order Logics
    Paperback
    $41.22
    FREE delivery Thu, Jul 9
  27. Book cover How to Prove It: A Structured Approach
    How to Prove It: A Structured Approach
    Paperback
    $38.39
    FREE delivery Thu, Jul 9
  29. Book cover The Rust Programming Language, 2nd Edition
    The Rust Programming Language, 2nd Edition
    Paperback
    $24.70
    Delivery Thu, Jul 9
Next page
Loading...

Editorial Reviews

Review

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 models.

Product details

  • Publisher ‏ : ‎ Cambridge University Press
  • Publication date ‏ : ‎ August 11, 2008
  • Edition ‏ : ‎ 2nd
  • Language ‏ : ‎ English
  • Print length ‏ : ‎ 358 pages
  • ISBN-10 ‏ : ‎ 0521898854
  • ISBN-13 ‏ : ‎ 978-0521898850
  • Item Weight ‏ : ‎ 1.34 pounds
  • Dimensions ‏ : ‎ 6 x 1 x 9.25 inches
  • Best Sellers Rank: #1,483,514 in Books (See Top 100 in Books)
  • Customer Reviews:
    4.4 out of 5 stars (18)

About the author

Follow authors to get new release updates, plus improved recommendations.
J. Roger Hindley

J. Roger Hindley

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read book recommendations and more.

Related books

Page 1 of 1Start Over
Sponsored
Previous page
  1. Shop the Store on Amazon ›
    MATH AS A LANGUAGE: What I have learned through Teaching
    MATH AS A LANGUAGE: What I have learned through Teaching
    4.24.2 out of 5 stars14
    $10.20
  2. Shop the Store on Amazon ›
    Spectrum 8th Grade Math Workbook, Mathematics Middle School Books Covering Pythagorean Theorem, Geometry, Linear Equations, Rational and Irrational Numbers and More, Classroom or Homeschool Curriculum
    Spectrum 8th Grade Math Workbook, Mathematics Middle School Books Covering Pythagorean Theorem, Geometry, Linear Equations, Rational and Irrational Numbers and More, Classroom or Homeschool Curriculum
    4.64.6 out of 5 stars3,682
    $9.74 List:$14.99
  3. Shop the Store on Amazon ›
    Math Refresher Workbook for Adults Returning to School: Master Basic High School Math in 1 Month With 500+ Basic Algebra, Geometry, Statistics Exercises (2026 Math Workbooks for Beginners)
    Math Refresher Workbook for Adults Returning to School: Master Basic High School Math in 1 Month With 500+ Basic Algebra, Geometry, Statistics Exercises (2026 Math Workbooks for Beginners)
    3.73.7 out of 5 stars89
    $24.54 List:$27.99
  4. Shop the Store on Amazon ›
    Quantum Physics for Beginners: From Wave Theory to Quantum Computing. Understanding How Everything Works by a Simplified Explanation of Quantum Physics and Mechanics Principles
    Quantum Physics for Beginners: From Wave Theory to Quantum Computing. Understanding How Everything Works by a Simplified Explanation of Quantum Physics and Mechanics Principles
    4.44.4 out of 5 stars2,125
    $15.95
  5. Shop the Store on Amazon ›
    AP Precalculus Study Cards 2026-2027: AP Precalculus Review Prep and Practice Test Questions [Full Color Cards]
    AP Precalculus Study Cards 2026-2027: AP Precalculus Review Prep and Practice Test Questions [Full Color Cards]
    4.84.8 out of 5 stars9
    $34.99 List:$40.99
Next page

Customer reviews

4.4 out of 5 stars
18 global ratings
Customer reviews require account verification. Sign in