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