Adapting Proofs-as-Programs The Curry-Howard Protocol / [electronic resource] :
by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
- New York, NY : Springer Science+Business Media Inc., 2005.
- v.: digital
- Monographs in Computer Science, 0172-603X .
9780387281834
Computer science Logic design Software engineering Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Logic Design Programming Techniques Software Engineering/Programming and Operating Systems Models and Principles