Image from Amazon.com
Games and Full Abstraction for a Functional Metalanguage with Recursive Types : (DD)
Material type:
TextSeries: Distinguished DissertationsPublication details: London; Springer; 1998Description: 189ISBN: - 3 540 76255 8
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 MCC (Browse shelf(Opens below)) | Available | 46934 |
There are no comments on this title.
Log in to your account to post a comment.