£58.99

It has never been this cheap. We have no record of a lower price.

£59 today · cheaper than every other day in the last 3 months

Cambridge University Press Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£58.99 £56.04 £57.22 £58.40 £59.58 £60.76 £61.94 25 July 2026 29 July 2026 03 August 2026 08 August 2026 13 August 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 20 days • 1 price levels

Days at Price
20 days 0 5 10 15 20 £59 Days at Price

Price Analysis

Most common price: £59 (20 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 20 days

Description

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 August 2008
Listed Since
10 January 2008

Barcode

No barcode data available

Similar Products You Might Like

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
97% match

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Springer

£96.48 20 Aug 2026
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)
97% match

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Springer

£74.96 24 Sep 2026
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
95% match

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£139.00 26 Aug 2026
Two-Level Functional Languages - Cambridge Tracts 34
95% match

Two-Level Functional Languages - Cambridge Tracts 34

Cambridge University Press

£112.47 18 Oct 2026
Semantics of Programming Languages and Model Theory - CRC Press
95% match

Semantics of Programming Languages and Model Theory - CRC Press

CRC Press

£160.00 23 Oct 2026
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)
95% match

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)

Springer

£84.07 02 Oct 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
95% match

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

Cambridge University Press

£53.00 11 Sep 2026
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
94% match

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£116.31 14 Aug 2026
Semantic Domains in Computational Linguistics
94% match

Semantic Domains in Computational Linguistics

Springer

£72.79 10 Oct 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
94% match

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

CRC Press

£74.23 19 Sep 2026
Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)
94% match

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

CRC Press

£235.00 09 Oct 2026
Domain Engineering: Product Lines, Languages, and Conceptual Models
94% match

Domain Engineering: Product Lines, Languages, and Conceptual Models

Springer

£41.04 23 Sep 2026
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
94% match

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Springer

£59.83 23 Sep 2026
Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
94% match

Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)

Cambridge University Press

£174.00 07 Oct 2026
Mathematics in Programming
94% match

Mathematics in Programming

Springer

£47.12 08 Sep 2026
Cambridge Lambda-Calculus and Combinators Mathematics Book
94% match

Cambridge Lambda-Calculus and Combinators Mathematics Book

Cambridge University Press

£63.64 17 Oct 2026
Transitions and Trees: An Introduction to Structural Operational Semantics
94% match

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge University Press

£89.99 13 Sep 2026
Model-Driven Domain Analysis and Software Development: Architectures and Functions (Premier Reference Source)
94% match

Model-Driven Domain Analysis and Software Development: Architectures and Functions (Premier Reference Source)

Information Science Reference

£59.63 19 Sep 2026
Domain Oriented Systems Development: Practices and Perspectives
94% match

Domain Oriented Systems Development: Practices and Perspectives

CRC Press

£183.52 13 Oct 2026
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
94% match

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

Cambridge University Press

£133.99 07 Oct 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
94% match

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

Springer

£52.36 11 Sep 2026
Semantics of Type Theory - Correctness & Completeness Results
94% match

Semantics of Type Theory - Correctness & Completeness Results

Birkhauser

£64.57 21 Oct 2026
Logics of Specification Languages - EATCS Monograph
94% match

Logics of Specification Languages - EATCS Monograph

Springer

£114.71 07 Oct 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
94% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£130.33 29 Sep 2026