TY  - BOOK
AU  -  Girard Jean-yves
TI  -  Proofs and Types
SN  - 0521371813
U1  - 519.73 GIR DC20
PY  - 1989///
CY  - New York
PB  -  Cambridge University Press
ER  -