Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57) - Image 1

£34.19

Cambridge University Press Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Name: Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Brand: Cambridge University Press
Price: 51.57 GBP
Availability: InStock

Languages & Tools

Price History & Forecast

Last 78 days • 78 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 78 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £34 (33 days, 42.3%)

Price range: £27 - £60

Price levels: 6 different prices over 78 days

Description

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107017785
Category: Books > Subjects > Computing & Internet > Programming > Languages & Tools
Domain: Amazon UK
Release Date: 30 May 2013
Listed Since: 01 December 2012

Barcode

No barcode data available

Cambridge University Press Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The Grammar of Names (Oxford Linguistics)

Routledge Nominalizations (New Library of Psychoanalysis)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

The Grammar of Names (Oxford Linguistics)

The Semantics of Nominalizations across Languages and Frameworks: 22 (Interface Explorations [IE], 22)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Routledge Nominalism about Properties: New Essays - Metaphysics

OXFORD HANDBOOK OF NAMES & NAMING OHBK PAPER

Discovering Modern Set Theory: The Basics Pt.1 (Graduate Studies in Mathematics)

Notes on Set Theory (Undergraduate Texts in Mathematics)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Names and Context: A Use-Sensitive Philosophical Account (Mind, Meaning and Metaphysics)

Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics)

Theory and Typology of Proper Names (Trends in Linguistics: Studies & Monographs): 168 (Trends in Linguistics. Studies and Monographs [TiLSM], 168)

Springer - The New Theory of Reference: Kripke, Marcus, and Its Origins

A Guide to NIP Theories: 44 (Lecture Notes in Logic, Series Number 44)

Transitions and Trees: An Introduction to Structural Operational Semantics

Set Theory for the Working Mathematician: Krzysztof Ciesielski: 39 (London Mathematical Society Student Texts, Series Number 39)

Cambridge Description Logic Handbook - Theory and Applications

Springer - The Language of Propositions and Events (Vol. 51)

Transitions and Trees: An Introduction to Structural Operational Semantics

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Semantics in Business Systems: The Savvy Manager's Guide: the Discipline Underlying Web Services, Business Rules and the Semantic Web (The Savvy Manager's Guides)