Derivation and computation : taking the Curry-Howard correspondence seriously
by Simmons, Harold.
Publisher: Cambridge: Cambridge University Press, 2000Description: xxv, 384p.ISBN: 0521771730.Subject(s): Type theory | Proof theory | Lambda calculusItem type | Location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books |
Central Library AIOU Islamabad
General Stacks
Allama Iqbal Open UniversityCentral Library |
511.321 SID (Browse shelf) | Available | 95863 |
Total holds: 0
Includes index and bibliography
Eng
There are no comments for this item.