Nederpelt, R., & Geuvers, H. (2014). Type Theory and Formal Proof: An Introduction. Cambridge: Cambridge University Press. doi:10.1017/CBO9781139567725
Nederpelt, R., & Geuvers, H. (2014). Type Theory and Formal Proof: An Introduction. Cambridge: Cambridge University Press. doi:10.1017/CBO9781139567725