Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons, University of Manchester.
Material type:
TextPublisher: Cambridge ; New York : Cambridge University Press, 2000Description: xxv, 384 pages ; 24 cmContent type: - text
- unmediated
- volume
- 0521771730
- 9780521771733
- 511.3 22 SIM
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book - Borrowing
|
Central Library First floor | Alef-Baa | 511.3 SIM (Browse shelf(Opens below)) | Available | 000017043 |
Total holds: 0
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.