"Lambda-Calculus and Combinators: An Introduction" - читать интересную книгу автора (J. Roger Hindley, Jonathan P. Seldin)