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

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 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
10 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
9 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

Herman 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