Items related to Nominal Sets: Names and Symmetry in Computer Science...

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

Book 33 of 40: Cambridge Tracts in Theoretical Computer Science

Andrew M. Pitts

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

Synopsis

The first detailed account of the basic theory and applications of nominal sets.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.