TY  - BOOK
AU  - Pitts,A.M.
TI  - Nominal sets: names and symmetry in computer science 
T2  - Cambridge tracts in theoretical computer science
SN  - 9781107250079 (electronic bk.)
AV  - QA76.7 
U1  - 005.13 23
PY  - 2013///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Syntax
KW  - COMPUTERS / Programming Languages / General
KW  - bisacsh
KW  - Electronic books
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=574874
ER  -