A modern perspective on type theory : from its origins until today - Kamareddine, Fairouz D.; Laan, Twan; Nederpelt, Rob (Dordrecht : Kluwer Academic Publishers, 2010)
Keywords: matematická logika; teorie typů; mathematical logic; type theory; kolektivní monografie; collective monographs