"A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series, 29)" - читать интересную книгу автора (Fairouz Kamareddine, Twan Laan, Rob Nederpelt)