Image from Amazon.com
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
Series: Monographs in Computer SciencePublication details: New York, NY : Springer Science+Business Media Inc., 2005.Description: 1online resource (xi, 420 p.) : ill., digital ; 24 cmISBN:- 9780387281834 (electronic bk.)
- 9780387237596 (paper)
- 511.36 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.