Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46) - Image 1

£53.10

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

Name: Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Brand: Cambridge University Press
Price: 53.1 GBP
Availability: InStock

Mathematical Logic

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

£53 today · all-time low £52 (Apr 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 47 days · 47 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 47 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £53 (22 days, 46.8%)

Price range: £52 - £56

Price levels: 4 different prices over 47 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

Brand: Cambridge University Press
Format: paperback
ASIN: 0521062926
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 10 January 2008

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

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)

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

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

Cambridge Two-Level Functional Languages - Series 34 Book

CRC Press Semantics of Programming Languages and Model Theory 5

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

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

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

Semantic Domains in Computational Linguistics

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

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

Domain Engineering: Product Lines, Languages, and Conceptual Models

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

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

Mathematics in Programming

Lambda-Calculus and Combinators: An Introduction

Transitions and Trees: An Introduction to Structural Operational Semantics

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

CRC Press Domain Oriented Systems Development Volume 6

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

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

Birkhauser Semantics of Type Theory - Computer Science Book

Springer - Logics of Specification Languages Monograph

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity