Nominal sets : names and symmentry in computer science
By: Pitts, Andrew.
Material type:
BookPublisher: Cambridge Cambridge University Press 2013Description: xiii, 276 p. ill. 24 cm.ISBN: 9781107017788.Subject(s): Programming languages | Symantics | Domain Theory | Computational LogicDDC classification: 005.13
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.13 PIT (Browse shelf) | Available | 030922 |
There are no comments for this item.