The lambda calculus
Subtitle: its syntax and semantics /H.P. Barendregt.. --
Series: Studies in logic and the foundations of mathematics -- v. 103
Publisher: North-Holland Pub. Co.; sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981.
Published: 1981
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 615
Subjects: Lambda calculus
Notes: Includes indexes.  Bibliography: p. 580-591.