A Modern Perspective on Type Theory From its Origins until Today - Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob (Springer Netherlands, 2005)