Nominal Sets Image close
Nominal Sets on Hardback by Andrew M. Pitts
Nominal Sets on Hardback by Andrew M. Pitts
Show Hide Adult Content
Nominal Sets close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Nominal Sets

Names and Symmetry in Computer Science
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$181.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $45.25 with Afterpay Learn more

6 weekly interest-free payments of $30.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$280.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Higher Order Logic and Hardware Verification by T.F. Melham
$98.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$336.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$121.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$474.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$292.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$100.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$382.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$155.00
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory by J. Roger Hindley
$131.00
Basic Simple Type Theory
by J. Roger Hindley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas by E-.R. Olderog
$138.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$172.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$137.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$197.00
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$269.00
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$185.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.

Author Biography:

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Release date NZ
May 30th, 2013
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises; 20 Line drawings, unspecified
Pages
287
Dimensions
156x235x20
ISBN-13
9781107017788
Product ID
21032170

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation