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