APA (7th ed.) Citation

Nederpelt, R., & Geuvers, H. (2014). Type theory and formal proof: An introduction (1. publ.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Nederpelt, Rob, and Herman Geuvers. Type Theory and Formal Proof: An Introduction. 1. publ. Cambridge: Cambridge Univ. Press, 2014.

MLA (9th ed.) Citation

Nederpelt, Rob, and Herman Geuvers. Type Theory and Formal Proof: An Introduction. 1. publ. Cambridge Univ. Press, 2014.