"An Introduction to Functional Programming Through Lambda Calculus" - читать интересную книгу автора (Greg Michaelson)