The lambda calculus : its syntax and semantics - Barendregt, H. P. (Hendrik Pieter) (Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984)
Includes bibliographical references ( p. 585-598) and index
Keywords: Lambda calculus