Herman Geuvers

Radboud University - Nijmegen / Netherlands

Engineering & Technology / Computer Science

AD Scientific Index ID: 1808438

Radboud Universiteit

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Radboud University

Herman Geuvers's MOST POPULAR ARTICLES

1-) Logics and type systems [Sl: sn], 1993

2-) Proof assistants: History, ideas and future Sadhana 34 (1), 3-25, 2009

3-) Modular proof of strong normalization for the calculus of constructions J. Funct. Program. 1 (2), 155-189, 1991

4-) Proof-assistants using dependent type systems Handbook of automated reasoning 2, 1149-1238, 2001

5-) Selected papers on Automath North-Holland, 1994

ARTICLES

Add your articles