TY  - BOOK
AU  - Hindley, J. Roger
TI  - Basic simple type theory
SN  - 9780521465182
SN  - 95009058
U1  - 005.13 HIN 
PY  - 1997///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Type theory
N1  - Includes bibliographical references (p. 169-176) and index
ER  -