Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.
Material type: TextSeries: Cambridge tracts in theoretical computer science ; 51Publication details: Cambridge ; New York : Cambridge University Press, 2000.Description: xxv, 384 p. ; 24 cmISBN:- 0521771737
- 511.3 22 SIM
- QA9.54 .S55 2000
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library First floor | Alef-Baa | 511.3 SIM (Browse shelf(Opens below)) | Available | 000017043 |
Total holds: 0
Includes bibliographical references (p. 375-376) and index.
There are no comments on this title.