The lambda calculus : its syntax and semantics - Barendregt, H. P. (Hendrik Pieter) (Amsterdam : North-Holland Pub., 1981)
Includes index
Bibliography: p. 580-591
Keywords: Lambda calculus; Logic, Symbolic and mathematical