£57.78

Cambridge University Press Lambda-Calculus and Combinators: An Introduction

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£58 today · usual range £0–£0 · best ever £50

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 548 days • 548 data points (No recent data available)

Historical
Generating forecast...
£60.99 £48.93 £51.56 £54.19 £56.83 £59.46 £62.09 10 June 2024 24 October 2024 10 March 2025 25 July 2025 09 December 2025

Price Distribution

Price distribution over 548 days • 5 price ranges

Days at Price
Current Price
173 days 111 days 57 days 144 days · current 63 days 0 43 87 130 173 £50-52 £52-54 £54-57 £57-59 £59-61 Days at Price

Price Analysis

Most common range: £50-52 (173 days, 31.6%)

Price range: £50 - £61

Price levels: 5 price ranges over 548 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

£49.36 27 Feb 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 16 Feb 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 07 Mar 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 05 Mar 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

£49.25 21 Feb 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Introduction to Metamathematics (Bibliotheca Mathematica)
96% match

Introduction to Metamathematics (Bibliotheca Mathematica)

North Holland

£82.29 05 Feb 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

£55.89 13 Jan 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

£56.20 10 Apr 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

£48.61 21 Feb 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.35 25 Feb 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

£133.00 01 Apr 2026
Introduction to Mathematical Logic (Princeton Mathematical Series, 17)
95% match

Introduction to Mathematical Logic (Princeton Mathematical Series, 17)

Princeton University Press

£59.85 28 Jan 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

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

Springer

£111.23 04 Feb 2026
Type Theory and Formal Proof: An Introduction
95% match

Type Theory and Formal Proof: An Introduction

Cambridge University Press

£65.49 17 Mar 2026
Logic of Computation: SER F / v.157 (NATO ASI)
95% match

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

Springer

£80.56 26 Feb 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
95% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Birkhauser

£60.17 23 Jan 2026
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
95% match

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)

Birkhauser

£130.11 19 Apr 2026
Reflections on the Work of C.A.R. Hoare
95% match

Reflections on the Work of C.A.R. Hoare

Springer

£107.73 12 Apr 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£57.99 14 Apr 2026
Theories of Programming Languages
95% match

Theories of Programming Languages

Cambridge University Press

£68.79 12 Apr 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
95% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
95% match

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Springer

£57.02 08 Mar 2026