Skip to content
Hardcover Lambda-Calculus and Combinators: An Introduction Book

ISBN: 0521898854

ISBN13: 9780521898850

Lambda-Calculus and Combinators: An Introduction

Select Format

Select Condition ThriftBooks Help Icon

Selected

Format: Hardcover

Condition: New

$72.93
Save $3.06!
List Price $75.99

50 Available

Book Overview

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

Customer Reviews

0 rating
Copyright © 2020 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell My Personal Information | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured