Main image
Click to view image in fullscreen

calcActive())">
Nominal Sets
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.
670,00 DH
En stock
1) { qty = qty - 1 }">
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.
ISBN / EAN | 9781107017788 |
---|---|
Auteur | Pitts, Andrew M. (University of Cambridge) |
Editeur | Cambridge University Press |