Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.
Publications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2002
Theoretical Computer Science | 1999
R. Dyckhoff
Studia Logica | 1998
R.O.Y. Dyckhoff
Electron. Notes Theor. Comput. Sci., | 1998