Artículos relacionados a Nominal Sets Hardback: Names and Symmetry in Computer...

Nominal Sets Hardback: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57) - Tapa dura

Libro 33 de 40: Cambridge Tracts in Theoretical Computer Science

Pitts

 
9781107017788: Nominal Sets Hardback: Names and Symmetry in Computer Science: 57 (Cambridge Tracts in Theoretical Computer Science, Series Number 57)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

"Sobre este título" puede pertenecer a otra edición de este libro.