TY  - BOOK
TI  - Proofs and Types
SN  - 0521371813
PY  - 0000///Fiction
CY  - New yok
PB  -  Cambridge University
ER  -