The lambda calculus
Subtitle: its syntax and semantics
By: 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
Published: 1981
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 615
Subjects: Lambda calculus.
Notes: Bibliography: p. 580-591.
Includes indexes.