Research Output per year

## Fingerprint Dive into the research topics where J.H. (Herman) Geuvers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 1993 2017

## A formalisation of consistent consequence for boolean equation systems

van Delft, M., Geuvers, H. & Willemse, T. A. C., 2017,*Interactive theorem proving - 8th International Conference, ITP 2017,Proceedings.*Ayala-Rincón, M. & Muñoz, C. A. (eds.). Springer, p. 462-478 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

## Deriving natural deduction rules from truth tables

Geuvers, H. & Hurkens, T., 1 Jan 2017,*Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings.*Ghosh, S. & Prasad, S. (eds.). Berlin: Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10119 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

## A type system for continuation calculus

Geuvers, J. H., Geraedts, W., Geron, B. & Stegeren, van, J., 2014,*Fifth International Workshop on Classical Logic and Computation (Vienna, Austria, July 13, 2014).*Oliva, P. (ed.). EPTCS, p. 1-17 (Electronic Proceedings in Theoretical Computer Science; vol. 164).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

## Developing corpus-based translation methods between informal and formal mathematics : project description

Kaliszyk, C., Urban, J., Vyskocil, J. & Geuvers, J. H., 2014,*Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings).*Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Berlin: Springer, p. 435-439 (Lecture Notes in Computer Science; vol. 8543).

## Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.Research output: Book/Report › Book › Academic

## Courses

## Press / Media

## Student theses

## A Coq module for natural logic

Author: Huijben, R., 31 Aug 2013Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

## Continuation calculus

Author: Geron, B., 31 Aug 2013Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

## Development of a mathematical article browser based on type theory

Author: Albers, F., 31 Jul 1999Supervisor: Hemerik, C. (Supervisor 1) & Geuvers, J. (Supervisor 2)

Student thesis: Master

## Formally proving the correctness of functional programs: a comparison of different methods in the proof assistant CoQ

Author: Saidi, S., 31 Aug 2010Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

## Hypermaps and their use in the formalized four-colour theorem proof

Author: Heemstra, J. H., 4 Jul 2018Supervisor: Geuvers, J. (Supervisor 1) & Pendavingh, R. (Supervisor 2)

Student thesis: Bachelor