"Lambda-calculus and combinators, an introduction" - читать интересную книгу автора (J. Roger Hindley, Jonathan P. Seldin)