TY  - BOOK
AU  - Simmons,Harold
TI  - Derivation and computation: taking the Curry-Howard correspondence seriously 
SN  - 0521771730
U1  - 511.3 22
PY  - 2000///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Proof theory
KW  - BUEsh
KW  - Lambda calculus
KW  - Type theory
KW  - Curry-Howard isomorphism
KW  - Reading book
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/description/cam0210/99044953.html
UR  - http://www.loc.gov/catdir/toc/cam027/99044953.html
ER  -