The lambda calculus
Subtitle: its syntax and semantics
By: H.P. Barendregt.
Edition: Rev. ed.
Series: Studies in logic and the foundations of mathematics ;; v. 103
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1984
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 621
Subjects: Lambda calculus
Notes: Bibliography: p. 585-598.
Includes indexes.