Nominal Sets

Auteur: Pitts, Andrew M. (University of Cambridge)
Editeur: Cambridge University Press
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.

En stock

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