Poernomo, Iman Hafiz.

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

QA9.54 . / P64 2005