TY  - BOOK
AU  -  Hindley, J. Roger
AU  - Seldin, J. P., jt. auth.
TI  - Lambda-calculus and combinators : an introduction
SN  - 9780521898850
U1  - 511.35 HIN-J 
PY  - 2008///
CY  - NY
PB  - Cambridge University
KW  - ﾠ
KW  - Combinatory logicﾠ
KW  - Lambda calculusﾠ
ER  -