TY  - BOOK
AU  - Barendregt, H. P.
TI  -  The lambda calculus: its syntax and semantics 
SN  - 0444867481
U1  - 511.3 19
PY  - 1984///
CY  - Amsterdam,  New York,  New York, N.Y.
PB  - North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
KW  - Lambda calculus
N1  - Includes bibliographical references ( p. 585-598) and index
ER  -