Adapting proofs-as-program: the curry-howard protocol
Series: (Monographs in computer science)Publication details: USA Springer 2005Description: xii, 420pISBN:- 0-387-23759-3
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
University Library | 004.422 POE (Browse shelf(Opens below)) | Available | 00054924 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
004.421TEL Introduction to distributed algorithms | 004.4'22 BRA Applications development using CASE tools | 004.4'22 KRI Computer aided design: Software and analytical tools | 004.422 POE Adapting proofs-as-program | 004.422 SEE Programming RPG, RPGII | 004.4'22 STO Inside ADW and IEF: The promise and reality of CASE | 004.422.63 C THA Data structures using C |
There are no comments on this title.