Title:
Proof, language, and interaction essays in honour of Robin Milner
Author:
Plotkin, G. (Gordon), 1946-
ISBN:
9780585388908
9780262281676
Publication Information:
Cambridge, Mass. : MIT Press, 2000.
Physical Description:
1 online resource (xiv, 722 p.) : ill.
Series:
Foundations of computing
Series Title:
Foundations of computing
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 219901-1001 | ONLINE | Searching... | Searching... |