If you made any changes in Pure these will be visible here soon.

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.

Type Systems Mathematics
Type Theory Mathematics
Undecidability Mathematics
Photographic films Engineering & Materials Science
Confluence Mathematics
Formalization Mathematics
Calculus Mathematics
Rewriting Mathematics

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

Research Output 1993 2017

1 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

Formalization
Acoustic waves
Boolean algebra
Model checking
Boolean Lattice
1 Citation (Scopus)

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 proceedingConference contributionAcademicpeer-review

Truth table
Natural Deduction
Textbooks
Semantics
Acoustic waves

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 proceedingConference contributionAcademicpeer-review

Type Systems
Continuation
Calculus
Iteration Scheme
Encoding
11 Citations (Scopus)

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).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Statistical Machine Translation
Automated Reasoning
Accumulate
Formalization
Experiment
11 Citations (Scopus)

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

Research output: Book/ReportBookAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
Exercise

Courses

Press / Media

Introduction to Type Theory.pdf

J.H. Geuvers

13/05/18

1 item of Media coverage

Press/Media: Expert Comment

Student theses

A Coq module for natural logic

Author: Huijben, R., 31 Aug 2013

Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

File

Continuation calculus

Author: Geron, B., 31 Aug 2013

Supervisor: Geuvers, J. (Supervisor 1)

Student thesis: Master

File

Development of a mathematical article browser based on type theory

Author: Albers, F., 31 Jul 1999

Supervisor: Hemerik, C. (Supervisor 1) & Geuvers, J. (Supervisor 2)

Student thesis: Master

File

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

Author: Heemstra, J. H., 4 Jul 2018

Supervisor: Geuvers, J. (Supervisor 1) & Pendavingh, R. (Supervisor 2)

Student thesis: Bachelor

File