Adapting proofs-as-programs : the Curry-Howard protocol
By: Crossley, John N.
Contributor(s): Poernomo, Iman Hafiz | Wirsing, Martin.
Material type:
BookSeries: Monographs in computer science.Publisher: New York: Springer, 2005Description: xi, 420 p.; ill.: 24 cm.ISBN: 0387237593 .Subject(s): Logic, Symbolic and mathematical | Curry-Howard isomorphism | Functional programming (Computer science) | Lambda calculus | Proof theoryDDC classification: 511.36
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | DAU | 511.36 POE (Browse shelf) | Available | 015379 |
There are no comments for this item.