"A Modern Perspective on Type Theory: From Its Origins Until Today" - читать интересную книгу автора (Douglas Walton)