The lambda calculus its syntax and semantics - Barendregt, H. P. (Hendrik Pieter) (Amsterdam North-Holland, 1984)
1
Keywords: Lambda calculus