Type theory and formal proof an introduction - Nederpelt, Rob; Geuvers, Herman (Cambridge Cambridge University Press, 2014)
Includes bibliographical references (pages 411-417) and indexes.
Keywords: Type theory; Computers -- Programming languages