"The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (H.P. Barendregt)