Items related to Nominal Sets: Names and Symmetry in Computer Science...
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57) - Hardcover
Book 33 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
"About this title" may belong to another edition of this title.
Search results for Nominal Sets: Names and Symmetry in Computer Science...
Stock Image
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781107017788
Stock Image
Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. The first detailed account of the basic theory and applications of nominal sets. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 287 pages, 20 b/w illus. 80 exercises. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 235 x 154 x 22. Weight in Grams: 558. . 2013. New. hardcover. . . . . Seller Inventory # V9781107017788
Buy New
US$ 99.33
US$ 10.66 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9781107017788_new
Buy New
US$ 100.43
US$ 15.10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Nominal Sets: Names and Symmetry in Computer Science
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781107017788
Buy New
US$ 105.98
US$ 22.10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Nominal Sets: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. The first detailed account of the basic theory and applications of nominal sets. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 287 pages, 20 b/w illus. 80 exercises. BIC Classification: UYA. Category: (U) Tertiary Education (US: College). Dimension: 235 x 154 x 22. Weight in Grams: 558. . 2013. New. hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9781107017788
Stock Image
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press CUP, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 2650401242
Stock Image
Nominal Sets: Names and Symmetry in Computer Science
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 295 pages. 9.06x5.91x0.87 inches. In Stock. Seller Inventory # x-1107017785
Buy New
US$ 122.18
US$ 16.72 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand 20 Illus. Seller Inventory # 58109957
Buy New
US$ 130.45
US$ 8.70 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Nominal Sets (Hardcover)
Published by
Cambridge University Press, Cambridge, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781107017788
Buy New
US$ 99.19
US$ 49.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 57)
Published by
Cambridge University Press, 2013
ISBN 10: 1107017785
ISBN 13: 9781107017788
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 1850401232
Buy New
US$ 138.90
US$ 11.16 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available