TY  - BOOK
AU  - Girard Jean-Yves
AU  -  Lafont Yves Tr.
AU  -  Tailor Paul Tr.
TI  - Proofs and types
T2  - Cambridge tracts in theoretical computer science
U1  - D65,8(B):(B32), M9 
PY  - 1989///
CY  - Cambridge
PB  - Cambeidge University Press       
KW  -  Computer science irt maths
KW  -  Database management
KW  - Computer science
ER  -