The lambda calculus : its syntax and semantics /
Barendregt, H. P.
The lambda calculus : its syntax and semantics / H.P. Barendre gt. - Rev. ed. - Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984. - xv, 621 p. : ill. ; 23 cm. - Studies in logic and the foundations of mathematics ; v. 103 .
Includes bibliographical references ( p. 585-598) and index
0444867481 0444875085 (pbk.)
84-005966
Lambda calculus.
511.3
The lambda calculus : its syntax and semantics / H.P. Barendre gt. - Rev. ed. - Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984. - xv, 621 p. : ill. ; 23 cm. - Studies in logic and the foundations of mathematics ; v. 103 .
Includes bibliographical references ( p. 585-598) and index
0444867481 0444875085 (pbk.)
84-005966
Lambda calculus.
511.3