TY  - BOOK
AU  - Hindley, J. Roger
TI  - Lambda-calculus and combinators : : an introduction / 
SN  - 9780521898850
U1  - 511.35 22
PY  - 2008///
CY  - Cambridge ; New York : 
PB  - Cambridge University Press, 
KW  - Combinatory logic
N1  - Include Index
ER  -