TY  - BOOK
AU  - Hindley, J. Roger
TI  - Lambda-calculus and combinators, an introduction
U1  - 515 
PY  - 2010///
KW  - GEN
KW  - CMA
ER  -