APA (7th ed.) Citation

Kamareddine, F., Laan, T., & Nederpelt, R. (2005). A Modern Perspective on Type Theory: From its Origins until Today. Springer Science + Business Media, Inc.

Chicago Style (17th ed.) Citation

Kamareddine, Fairouz, Twan Laan, and Rob Nederpelt. A Modern Perspective on Type Theory: From Its Origins Until Today. Dordrecht: Springer Science + Business Media, Inc, 2005.

MLA (8th ed.) Citation

Kamareddine, Fairouz, et al. A Modern Perspective on Type Theory: From Its Origins Until Today. Springer Science + Business Media, Inc, 2005.