Herman Geuvers
Author
Alternate names H. Geuvers, Herman Geuvers
Institution Radboud University Nijmegen
Past institutions Radboud University Nijmegen, Eindhoven University of Technology, Laboratoire d'Informatique de Paris-Nord, University of Birmingham
ORCID: Yes
H-index: 23
I10-index: 47
Works count: 147
Citations count: 1,518
Modular proof of strong normalization for the calculus of constructions
1991 · Herman Geuvers, Mark-Jan Nederhof · Journal of Functional Programming
Proof-Assistants Using Dependent Type Systems
2001 · Henk Barendregt, Herman Geuvers · Elsevier eBooks
C-CoRN, the Constructive Coq Repository at Nijmegen
2004 · Luís Cruz-Filipe, Herman Geuvers, et al. · Lecture notes in computer science