Nederpelt, R., & Geuvers, H. (2014). Type theory and formal proof: An introduction. Cambridge University Press.
Chicago (17e ed.) BronvermeldingNederpelt, Rob, en Herman Geuvers. Type Theory and Formal Proof: An Introduction. Cambridge: Cambridge University Press, 2014.
MLA (9e ed.) BronvermeldingNederpelt, Rob, en Herman Geuvers. Type Theory and Formal Proof: An Introduction. Cambridge University Press, 2014.
Let op: Deze citaties zijn niet altijd 100% accuraat.