TY  - BOOK
AU  - Hindley,J.Roger
AU  - Seldin,J.P.
TI  - Lambda-calculus and combinators, an introduction
SN  - 9780521898850 (hardback)
U1  - 511.3 5 
PY  - 2008///
CY  - Cambridge, UK, New York
PB  - Cambridge University Press
KW  - Lambda calculus
KW  - Combinatory logic
ER  -