000 00685pam a2200229a 44500
999 _c19199
_d19199
008 150502b2008 xxu||||| |||| 00| 0 eng d
020 _a9780521898850
040 _cBITS Pilani Hyderabad
_aBITS Pilani Hyderabad
041 _aENG
082 _a511.35 HIN-J
100 _a Hindley, J. Roger
245 _aLambda-calculus and combinators : an introduction /
_cJ. Roger Hindley and Jonathan P. Seldin
260 _aNY
_bCambridge University
_c2008
300 _a345 p.
650 _a
650 _aCombinatory logicᅠ
650 _aLambda calculusᅠ
700 _aSeldin, J. P., jt. auth.
907 _a511.35 HIN-J
908 _aSeldin, J. P., jt. auth.
942 _2ddc