Adapting proofs-as-programs
Adapting proofs-as-programs the Curry-Howard protocol Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Publisher: New York : Springer, c2005.
ISBN: 0387281835
Edition: (e-ISBN)
Notes:
Includes bibliographical references (p. [407]-416) and index.
Available to OhioLINK libraries.
Electronic reproduction.Berlin: Springer,2008.s2008 gw n s.
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
