000 00405nam a2200133Ia 4500
008 211224s9999 xx 000 0 und d
020 _a9780521465182
082 _a005.13 HIN
100 _aHindley, J. Roger
245 0 _aBasic simple type theory
260 _aCambridge:
_bCambridge University Press,
_c1997
300 _axi, 186 p. : ill. ; 24 cm
650 _aProgramming languages (Electronic computers)
999 _c26786
_d26786