"Introduction to Lambda calculus" - читать интересную книгу автора (Barendregt H., Barendsen E.)