TY  - BOOK
AU  - Hindley, J. Roger
TI  - Basic simple type theory
SN  - 9780521465182
U1  - 005.13 HIN 
PY  - 1997///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
ER  -