A Modern Perspective on Type Theory - Kamareddine, Fairouz D.; Kamareddine, F.D; Laan, Twan; Nederpelt, Rob P.; Laan, T.; Nederpelt, R. P; Nederpelt, Rob (Dordrecht Springer Netherlands, 2005)