The lambda calculus : its syntax and semantics /

Main Authors: Barendregt, H. P. Hendrik Pieter
Corporate Authors: Elsevier Science & Technology
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1984.