Herman Geuvers

No bio available. Add one in Open Library.

Books by Herman Geuvers (50 max)

+ shelf+ list

Type Theory and Formal Proof: An Introduction

2014

Rob Nederpelt, Herman Geuvers

+ shelf+ list

Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers

2003

Herman Geuvers, Freek Wiedijk

+ shelf+ list

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2017

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

+ shelf+ list

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

2011

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz