Nominal sets: names and symmetry in computer science
Auteur :
Pitts, Andrew M.
Éditeur :
Cambridge University Press
ISBN :
9781107017788
Date de publication :
30 mai 2013
Dimensions :
23,5 x 15,6 x 2,0 cm
Poids :
550 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.