| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c28265 _d28265 |
||
| 008 | 170602b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781107017788 | ||
| 082 |
_a005.13 _bPIT |
||
| 100 | _aPitts, Andrew | ||
| 245 | _aNominal sets : names and symmentry in computer science | ||
| 260 |
_bCambridge University Press _aCambridge _c2013 |
||
| 300 |
_axiii, 276 p. _bill. _c24 cm. |
||
| 365 |
_aBP _b67.00 |
||
| 650 | _aProgramming languages | ||
| 650 | _aSymantics | ||
| 650 | _aDomain Theory | ||
| 650 | _aComputational Logic | ||
| 942 |
_2ddc _cBK |
||