Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0521771737
- 511.3 22 SIM
- QA9.54 .S55 2000
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
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.