Publications

Peer-reviewed publications

• From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
  Graham E. Leigh, Dominik Wehr.
  Annals of Pure and Applied Logic, December 2024.
• Abstract cyclic proofs
  Bahareh Afshari, Dominik Wehr
  Mathematical Structures in Computer Science, April 2024.
• Material dialogues for first-order logic in constructive type theory: extended version
  Dominik Wehr, Dominik Kirst
  Mathematical Structures in Computer Science, November 2023.
• Exact bounds for acyclic higher-order recursion schemes
  Bahareh Afshari, Dominik Wehr
  Journal of Information and Computation, Volume 290, January 2023
• Abstract Cyclic Proofs
  Bahareh Afshari, Dominik Wehr
  WoLLIC 2022, Iaşi, Romania, 2022.
• Material Dialogues for First-Order Logic in Constructive Type Theory [Preprint]
  Dominik Wehr, Dominik Kirst
  WoLLIC 2022, Iaşi, Romania, 2022.
• Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory: Extended Version [Preprint]
  Yannick Forster, Dominik Kirst, Dominik Wehr
  Journal of Logic and Computation, Volume 31, Issue 1, January 2021
• Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory [Preprint]
  Yannick Forster, Dominik Kirst, Dominik Wehr
  LFCS 2020, Deerfield Beach, Florida, USA, 2020.

Preprints & technical reports

• Aczel’s Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory
  Dominik Wehr. December 2020
• NBE with constants
  Dominik Wehr. August 2020