A Modern Perspective on Type Theory From its Origins until Today - Kamareddine, Fairouz; Laan, Twan.; Nederpelt, Rob.; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media, Inc., 2005)
Keywords: Type theory; Mathematics; Mathematics of Computing; Logic; Mathematical Logic and Foundations