"Lambda-Calculus: Types and Models " - читать интересную книгу автора (Jean-Louis Krivine)