TY  - BOOK
AU  - Hiudley J.Roger
TI  - Lambda-Calculus and Combinators: An Introduction
SN  - 9780521898850
PY  - 2008///
CY  - UK
PB  - CUP
ER  -