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

£103.89

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

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£104 today · previous high £104 · all-time low £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 54 days • 54 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 54 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £94 (43 days, 79.6%)

Price range: £94 - £104

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

This is the most expensive it has ever been. Walk away.

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)

Lambda Calculus with Types (Perspectives in Logic)

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)

LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)

Semantic Domains in Computational Linguistics

Structural Proof Theory

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

Power Algebras over Semirings: With Applications in Mathematics and Computer Science: 488 (Mathematics and Its Applications, 488)

A Theory of Objects (Monographs in Computer Science)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)

Computational Lexical Semantics (Studies in Natural Language Processing)

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

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

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)

An Introduction to Formal Languages and Machine Computation