A modern perspective on type theory : from its origins until today - Kamareddine, Fairouz D. (Applied logic series ; ;, 2004)