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

Price loading...

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

Architecture & Microprocessors

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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 > Computing & Internet > Computer Science > Architecture & Microprocessors
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)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Lambda-Calculus and Combinators: An Introduction

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

(Co)end Calculus: 468 (London Mathematical Society Lecture Note Series, Series Number 468)

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)

Type Theory and Formal Proof: An Introduction

Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

Practical Foundations for Programming Languages

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)

Natural Language Semantics – Formation and Valuation (The MIT Press)

Category Theory: No. 49 (Oxford Logic Guides)

Logic for Applications (Texts in Computer Science)

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Type-Logical Semantics

Mathematics in Programming

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge Two-Level Functional Languages - Series 34 Book

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

Categories for Types (Cambridge Mathematical Textbooks)

Transitions and Trees: An Introduction to Structural Operational Semantics