Concepedia

Herman Geuvers

HG

Statistics

Publications

23

Citations

709

H-Index

17

Active since

1991

Affiliations

Radboud University Nijmegen(Current)

Eindhoven University of Technology

Centre National de la Recherche Scientifique

University of Turin

Herman Geuvers is an author at Radboud University Nijmegen specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1991–2022

23

Publications

23

Modular proof of strong normalization for the calculus of constructions

Herman Geuvers, Mark-Jan Nederhof · Journal of Functional Programming · 1991 · 100 citations

, , +12

Proof assistants: History, ideas and future

Herman Geuvers · Sadhana · 2009 · 83 citations · Full text

, , +12

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 66 citations · Full text

, , +8

Explicit substitution on the edge of strong normalization

Roel Bloo, Herman Geuvers · Theoretical Computer Science · 1999 · 45 citations

, , +4

The Church-Rosser property for βη-reduction in typed λ-calculi

Herman Geuvers · Logic in Computer Science · 1992 · 35 citations

, , +6

1–5 of 23