APA (7th ed.) Citation

(2005). A modern perspective on type theory: From its origins until today. Kluwer. https://doi.org/10.1007/1-4020-2335-9

Chicago Style (17th ed.) Citation

A Modern Perspective on Type Theory: From Its Origins Until Today. Dordrecht [u.a.]: Kluwer, 2005. https://doi.org/10.1007/1-4020-2335-9.

MLA (9th ed.) Citation

A Modern Perspective on Type Theory: From Its Origins Until Today. Kluwer, 2005. https://doi.org/10.1007/1-4020-2335-9.