A modern perspective on type theory : from its origins until today - Kamareddine, Fairouz D. (Kluwer Academic Publishers, 2010)