TY  - BOOK
AU  - Hindley,J.Roger
AU  - Seldin,Jonathan P.
TI  - Lambda-calculus and combinators, an introduction
SN  - 9780521898850
PY  - 2008///
CY  - Cambridge, UK
PB  - Cambridge University Press
KW  - Lambda calculus
KW  - Combinatory logic
N1  - Includes bibliographical references (p. 323-333) and index
ER  -