TY  - BOOK
AU  - Poernomo, Iman Hafiz
AU  - Martin, Wirsing 
AU  - John, Newsome Crossley
TI  - Adapting proofs-as-program: the curry-howard protocol
T2  - (Monographs in computer science)
SN  - 0-387-23759-3
PY  - 2005///
CY  - USA
PB  - Springer 
KW  - Curry-howard isomophism
KW  - Proof theory
KW  - Logic symbolic and mathematical
KW  - Functional programming
KW  - Lambde calculus
KW  - Abstract data
KW  - Programming-synthesis
ER  -