Previous ed.: 1981.
Bibliography: p585-598. _ Includes index.
The lambda calculus : its syntax and semantics by H. P. Barendregt. ISBN 0444867481. Published by North-Holland in 1984. Publication and catalogue information, links to buy online and reader comments.