TY  - BOOK
AU  - Poernomo,Iman Hafiz
AU  - Wirsing,Martin
AU  - Crossley,John Newsome
ED  - SpringerLink (Online service)
TI  - Adapting Proofs-as-Programs: The Curry-Howard Protocol 
SN  - 9780387281834 (electronic bk.)
U1  - 511.36 22
PY  - 2005///
CY  - New York, NY
PB  - Springer Science+Business Media Inc.
KW  - Curry-Howard isomorphism
KW  - Proof theory
UR  - https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/0-387-28183-5
ER  -