Type theory and formal proof an introduction - Nederpelt, Rob 1942-; Geuvers, Herman 1964- (Cambridge Univ. Press, 2014)
Hier auch später erschienene, unveränderte Nachdrucke