"Domains and Lambda-calculi" - читать интересную книгу автора (Roberto M. Amadio, Pierre-Louis Curien)