A Modern Perspective on Type Theory From its Origins until Today - Kamareddine, Fairouz; Laan, Twan.; Nederpelt, Rob.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2005)
Keywords: Mathematics; Logic; Computer science; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Mathematics of Computing; Logic