£63.06

Cambridge University Press Lambda-Calculus and Combinators: An Introduction

Price data last checked 45 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£63 today · all-time low £63 (May 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 46 days · 46 data points (no recent data)

Historical
Generating forecast…
£65.85 £62.35 £63.12 £63.88 £64.64 £65.40 £66.17 26 April 2026 07 May 2026 18 May 2026 29 May 2026 10 June 2026

Price Distribution

Price distribution over 46 days • 4 price levels

Days at Price
Current Price
27 days · current 9 days 9 days 1 day 0 7 14 20 27 £63 £64 £65 £66 Days at Price

Price Analysis

Most common price: £63 (27 days, 58.7%)

Price range: £63 - £66

Price levels: 4 different prices over 46 days

Description

Combinatory logic and lambda-calculus, originally devised in the 1920s, 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 version is thoroughly revised and offers an 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.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
24 July 2008
Listed Since
19 November 2007

Barcode

No barcode data available

Similar Products You Might Like

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
98% match

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Cambridge University Press

£52.79 04 Jul 2026
The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)
97% match

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)

North Holland

£83.00 30 Jun 2026
The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)
97% match

The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)

North Holland

£49.99 08 Jul 2026
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
97% match

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£71.99 07 Jul 2026
Cambridge Two-Level Functional Languages - Series 34 Book
97% match

Cambridge Two-Level Functional Languages - Series 34 Book

Cambridge University Press

£73.62 12 May 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
96% match

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge University Press

£50.99 02 Jul 2026
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)
96% match

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)

Springer

£36.34 20 Jul 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£47.08 29 Jun 2026
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
96% match

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Cambridge University Press

£92.69 19 Jul 2026
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
96% match

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Springer

£87.94 17 Jul 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.93 24 Jun 2026
Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)
96% match

Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)

Cambridge University Press

£55.92 20 Jul 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

Cambridge University Press

£56.75 16 Jun 2026
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
96% match

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£59.34 13 Jul 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£52.29 02 Jul 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.92 03 Jul 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£130.33 12 Jul 2026
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
95% match

Introduction to Mathematical Logic (Princeton Mathematical Series, 17)

Princeton University Press

£83.60 20 Jun 2026
Cambridge Functional Programming Implementation Book - Series 45
95% match

Cambridge Functional Programming Implementation Book - Series 45

Cambridge University Press

£73.48 24 Jul 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£104.85 24 Jun 2026
Type Theory and Formal Proof: An Introduction
95% match

Type Theory and Formal Proof: An Introduction

Cambridge University Press

£64.53 11 Jul 2026
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
95% match

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

CRC Press

£87.08 21 Jul 2026
Logic of Computation: SER F / v.157 (NATO ASI)
95% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£80.57 04 Jul 2026
Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)
95% match

Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)

Springer

£76.80 13 May 2026