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
Browsing Central Library AIOU Islamabad Shelves , Shelving location: General Stacks Close shelf browser
No cover image available | ||||||||
511.32 KLF Fuzzy sets, uncertainty and information | 511.32 RUB Boolean functions and equations | 511.321 DEV Developments in language theory ii: | 511.321 SID Derivation and computation | 511.322 DES Descriptive set thoery and dynamical systems | 511.322 HAN Numbers, sets and axioms | 511.322 HAS Set theory |
Includes index and bibliography
Eng
There are no comments for this item.