Adapting Proofs-as-Programs
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
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