Type theory and formal proof : an introduction - Nederpelt, Rob (Cambridge University Press, 2014)