000			00555nam a2200169Ia 4500
008			151218s9999 xx 000 0 und d
020			_a9780521898850 _cP46.00
040			_aCLIITBBS _cCLIITBBS _dCLIITBBS
082	0	0	_a511.35 _222 _bHIN/L
100			_aHindley, J. Roger
245	1	0	_aLambda-calculus and combinators : _ban introduction / _cby J. Roger Hindley.
260			_aCambridge ; New York : _bCambridge University Press, _c2008.
300			_axi, 345 p. : ill. ;
504			_aInclude Index
650			_aCombinatory logic.
942			_2ddc _cTRB
999			_c6394 _d6394