Nominal Sets : Names and Symmetry in Computer Science

Name: Nominal Sets
Brand: Cambridge University Press
SKU: 9781107017788
Price: 10800 KES
Availability: OutOfStock
ISBN: 9781107017788

by Andrew M. Pitts

Book Details

Format Hardback

Book Series Cambridge Tracts in Theoretical Computer Science

ISBN-10 1107017785

ISBN-13 9781107017788

Publisher Cambridge University Press

Imprint Cambridge University Press

Country of Manufacture US

Country of Publication GB

Publication Date May 30th, 2013

Print length 287 Pages

Weight 558 grams

Dimensions 23.50 x 15.40 x 2.20 cms

Product Classification: Mathematical theory of computation

KSh 10,800.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.

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.

Get Nominal Sets by Andrew M. Pitts at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has 287 pages.