Skip to content

Research at St Andrews

University > Research portal > Researchers > Roy Dyckhoff

Roy Dyckhoff

Person

Roy Dyckhoff

Research overview

intuitionistic logic; constructive logic; constructive mathematics; automated reasoning; category theory; logic programming; proof theory; type theory; functional programming; lambda calculus; programming language semantics; computational linguistics

Show more...Show less

Research publications (50)

  1. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R. 5 May 2016 Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28)

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  2. POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C. 2016 Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. Some remarks on proof-theoretic semantics

    Dyckhoff, R. 2016 Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43)

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

View all

Activities and awards (7)

  1. Invited Lecture in Special Session on Proof Theory, International Conference on Computability in Europe, Swansea (1 July)

    Dyckhoff, R. (Invited speaker)
    2006

    Activity: Talk or presentation › Invited talk

  2. Studia Logica (Journal)

    Dyckhoff, R. (Editor)
    2004 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  3. British Logic Colloquium PC Co-Chair and Co-local Organiser, St Andrews, 2003

    Dyckhoff, R. (Organiser)
    2003

    Activity: Participating in or organising an event › Participation in or organising a conference

View all

Funded projects (5)

  1. Contract No 510255: Automatic Analysis of Bounded Resources for Embedded Systems

    Hammond, K. & Dyckhoff, R.

    European Commission

    1/03/05 → 28/02/09

    Project: Standard

  2. Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks

    Dyckhoff, R.

    EPSRC

    1/10/08 → 30/09/11

    Project: Fellowship

  3. Lexicalized Proof-Theoretic Semantics fo: Lexicalized proof-theoretic Semantics for Natural Language

    Dyckhoff, R.

    EPSRC

    1/02/07 → 31/08/07

    Project: Standard

View all

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations