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 |