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