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 |
Browsing DAIICT Shelves Close shelf browser
| 005.13 PER Introduction to Object-Oriented Design in C++ | 005.13 PIE Types and programming languages | 005.13 PIE Advanced topics in types and programming languages | 005.13 PIT Nominal sets : names and symmentry in computer science | 005.13 PRA Programming languages : design and implementation | 005.13 PRA Programming languages : design and implementation | 005.13 PRA Programming languages : design and implementation |
There are no comments for this item.