Honorary Senior Lecturer
Email (@st-andrews.ac.uk): rd
Home page: https://rd.host.cs.st-andrews.ac.uk
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
2016, Intuitionistic decision procedures since Gentzen
. in R Kahle, T Strahm & T Studer (eds), Advances in Proof Theory.
Progress in Computer Science and Applied Logic, vol. 28, Birkhäuser Basel, pp. 245-267, apt13 Advances in Proof Theory, Bern, Switzerland, 13/12/13
. DOI: 10.1007/978-3-319-29198-7_6
Ausaf, F, Dyckhoff, R
& Urban, C 2016, POSIX lexing with derivatives of regular expressions (proof pearl)
. in JC Blanchette & S Merz (eds), Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings.
Lecture Notes in Computer Science, vol. 9807, Springer, pp. 69-86, ITP 2016: Interactive Theorem Proving, Nancy, France, 22/08/16
. DOI: 10.1007/978-3-319-43144-4_5
2016, Some remarks on proof-theoretic semantics
. in T Piecha & P Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics.
Trends in Logic, vol. 43, Springer, pp. 79-93, Second Conference on Proof-Theoretic Semantics, Tübingen, Germany, 8/03/13
. DOI: 10.1007/978-3-319-22686-6_5
, Sadrzadeh, M & Truffaut, J 2013, 'Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
' ACM Transactions on Computational Logic
, vol. 14, no. 4, 34. DOI: 10.1145/2536740.2536742