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

£93.91

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: 91.14 GBP
Availability: InStock

Mathematical Logic

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

£94 today · all-time low £91 (Feb 2026) · usually £94

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 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £94 (74 days, 82.2%)

Price range: £91 - £103

Price levels: 3 different prices over 90 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: hardcover
ASIN: 0521622778
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 02 July 1998
Listed Since: 08 January 2007

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)

Logic of Domains (Progress in Theoretical Computer Science)

Computational Semantics with Functional Programming

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Programming with Higher-Order Logic

Categories for Types (Studies in Emotion and Social Interaction)

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

Indefinites and the Type of Sets: 03 (Explorations in Semantics)

Discrete Maths Software Engineers: An Introduction for Software Engineers

LMS: 231 Semigroup Thry & Applns: Proceedings of the 1994 Conference Commemorating the Work of Alfred H. Clifford (London Mathematical Society Lecture Note Series, Series Number 231)

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Mapping the Mind: Domain Specificity In Cognition And Culture

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Advanced Mathematical Methods (London School of Economics Mathematics)