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