TY  - GEN
AU  - Hindley, J. Roger
AU  - Seldin, Jonathan P
TI  - Introduction to combinators and λ - calculus
SN  - 0521318394
PY  - 1986///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Combinatory logic.
KW  - Lambda calculus
ER  -