Kamareddine, F. D., Laan, T., & Nederpelt, R. P. (2004). A modern perspective on type theory: From its origins until today. Dordrecht: Kluwer Academic Publishers.
Παραπομπή Chicago StyleKamareddine, Fairouz D., Twan Laan, and R. P. Nederpelt. A Modern Perspective On Type Theory: From Its Origins Until Today. Dordrecht: Kluwer Academic Publishers, 2004.
Παραπομπή MLAKamareddine, Fairouz D., Twan Laan, and R. P. Nederpelt. A Modern Perspective On Type Theory: From Its Origins Until Today. Dordrecht: Kluwer Academic Publishers, 2004.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.