
Vertel uw vrienden over dit artikel:
Nominal Sets: Names and Symmetry in Computer Science - Cambridge Tracts in Theoretical Computer Science
Pitts, Andrew M. (University of Cambridge)
Nominal Sets: Names and Symmetry in Computer Science - Cambridge Tracts in Theoretical Computer Science
Pitts, Andrew M. (University of Cambridge)
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.
287 pages, 20 b/w illus. 80 exercises
Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 30 mei 2013 |
ISBN13 | 9781107017788 |
Uitgevers | Cambridge University Press |
Pagina's | 287 |
Afmetingen | 154 × 235 × 22 mm · 558 g |
Taal en grammatica | Engels |
Bekijk alles van Pitts, Andrew M. (University of Cambridge) ( bijv. Hardcover Book )