Nominal Sets
Names and Symmetry in Computer Science
Inbunden, Engelska, 2013
Av Andrew M. (University of Cambridge) Pitts, Andrew M. Pitts, Andrew. M Pitts
1 029 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2013-05-30
- Mått154 x 235 x 22 mm
- Vikt558 g
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor287
- FörlagCambridge University Press
- EAN9781107017788