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 |