TY  - BOOK
AU  - Simmons, Harold
TI  - Derivation and computation : taking the Curry-Howard correspondence seriously
SN  - 521771730
SN  - 99044953
U1  - 51 3 SIM 
PY  - 2000///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Curry-Howard isomorphism
KW  - Lambda calculus
KW  - Proof theory
KW  - Type theory
N1  - Includes bibliographical references (p. 375-376) and index
ER  -