"The lambda calculus: its syntax and semantics" - читать интересную книгу автора (Hendrik Pieter Barendregt)