"Lambda-calculus, types and models " - читать интересную книгу автора (Jean-Louis Krivine, Rene Corvi (translator))