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 New York, 2005. - digital. - Monographs in Computer Science, 0172-603X . - Monographs in Computer Science, .
9780387281834
10.1007/0-387-28183-5 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Adapting Proofs-as-Programs The Curry-Howard Protocol / [electronic resource] : by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. - New York, NY : Springer New York, 2005. - digital. - Monographs in Computer Science, 0172-603X . - Monographs in Computer Science, .
9780387281834
10.1007/0-387-28183-5 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113