TY  - BOOK
A2  - Andrew M. Pitts.
AU  - Pitts, Andrew M.
NV  - XIII, 276 s. :
PY  - 2013
SN  - 9781107017788
TI  - Nominal sets : names and symmetry in computer science /
VL  - 57
ER  -