TY  - BOOK
AU  - Révész, György E
TI  - Lambda-calculus, combinators, and functional programming
SN  - 9780521114295
SN  - 87036800
U1  - 511.3 REV 
PY  - 1988///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Combinatory logic
KW  - Functional programming languages
KW  - Lambda calculus
N1  - Includes index. Bibliography: p. [176]-181
ER  -