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 |
---|---|---|---|---|---|
Books | University Library | 004.422 POE (Browse shelf(Opens below)) | Available | 00054924 |
There are no comments on this title.