Barendregt, H. P. The lambda calculus : its syntax and semantics / H.P. Barendregt. - Amsterdam ; North-Holland Pub., 1981. - xiv, 615 p. : Includes indexes. ISBN: 0444854908 Subjects--Topical Terms: Lambda calculus. Dewey Class. No.: 511.3 / La