TY  - BOOK
AU  - Simmons, H.
TI  - Derivation and Computation :(CTC 51)
SN  - 0 521 77173 0
CY  - Cambridge
KW  - Proof Theory
KW  - Lambda Calculus
KW  - Type Theory
ER  -