Nominal Sets: Names and Symmetry in Computer Science

by Andrew Pitts and Andrew M. Pitts

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1107017785
• ISBN13: 9781107017788
• Release Date: July 2013
• Publisher: Cambridge University Press
• Length: 287 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.6" x 5.8" x 9.0"