Title:
Adapting proofs-as-programs : the curry - howard protocol
Personal Author:
Series:
Monographs in computer science
Publication Information:
New York, NY : Springer, 2005
Physical Description:
xi, 420 p. : ill. ; 24 cm.
ISBN:
9780387237596
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010229374 | QA9.54 P64 2005 | Open Access Book | Book | Searching... |
Searching... | 30000010226356 | QA9.54 P64 2005 | Open Access Book | Book | Searching... |