Proof, language, and interaction : essays in honour of Robin Milner edited by Gordon Plotkin, Colin Stirling and Mads Tofte
Material type:
TextLanguage: English Series: Foundations of computing seriesPublication details: London The MIT Press 2000Description: xiv,722p.; 24cmISBN: - 9780262161886
- 23rd. 005.13 PRO
Books
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
North Eastern Hill University General Stacks | LINGUISTICS | 005.13 PRO (Browse shelf(Opens below)) | Available | 206667 |
Total holds: 0
Browsing North Eastern Hill University shelves, Shelving location: General Stacks, Collection: LINGUISTICS Close shelf browser (Hides shelf browser)
There are no comments on this title.
Log in to your account to post a comment.
