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