| Publication | Date of Publication | Type |
|---|
| Some Remarks on Proof-Theoretic Semantics | 2022-06-03 | Paper |
| Intuitionistic Decision Procedures Since Gentzen | 2020-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215790 | 2020-02-13 | Paper |
| Cut Elimination, Substitution and Normalisation | 2020-02-04 | Paper |
| INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS | 2019-08-01 | Paper |
| Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic | 2019-06-19 | Paper |
| CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION | 2019-01-04 | Paper |
| POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) | 2016-10-27 | Paper |
| Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators | 2016-07-08 | Paper |
| Positive logic with adjoint modalities: proof theory, semantics and reasoning about information | 2016-05-10 | Paper |
| A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding | 2016-04-28 | Paper |
| Geometrisation of first-order logic | 2016-03-18 | Paper |
| Invited Talk: Coherentisation of First-Order Logic | 2015-12-11 | Paper |
| Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators | 2015-09-17 | Paper |
| A note on harmony | 2012-09-20 | Paper |
| Proof analysis in intermediate logics | 2012-02-10 | Paper |
| A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems | 2011-05-26 | Paper |
| POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION | 2010-10-14 | Paper |
| Proof-Theoretic Semantics for a Natural Language Fragment | 2010-08-31 | Paper |
| Proof-theoretic semantics for subsentential phrases | 2010-05-07 | Paper |
| A Sequent Calculus for Type Theory | 2009-03-12 | Paper |
| Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic | 2009-03-12 | Paper |
| Call-by-Value -calculus and LJQ | 2008-02-07 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Decision methods for linearly ordered Heyting algebras | 2006-05-26 | Paper |
| Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation | 2004-01-28 | Paper |
| Admissibility of structural rules for extensions of contraction-free sequent calculi | 2002-05-13 | Paper |
| Admissibility of structural rules for contraction-free systems of intuitionistic logic | 2001-07-16 | Paper |
| Cut-elimination and a permutation-free sequent calculus for intuitionistic logic | 2000-09-04 | Paper |
| A deterministic terminating sequent calculus for Godel-Dummett logic | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934557 | 2000-01-17 | Paper |
| Permutability of proofs in intuitionistic sequent calculi | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223032 | 1999-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883282 | 1996-10-27 | Paper |
| Contraction-free sequent calculi for intuitionistic logic | 1993-04-01 | Paper |
| Exponentiable morphisms, partial products and pullback complements | 1987-01-01 | Paper |
| Total reflections, partial products, and hereditary factorizations | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4150817 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113117 | 1976-01-01 | Paper |
| Projective resolutions of topological spaces | 1976-01-01 | Paper |
| Categorical cuts | 1976-01-01 | Paper |
| PERFECT LIGHT MAPS AS INVERSE LIMITS | 1974-01-01 | Paper |
| Simple Classes of Complete Spaces | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663079 | 1973-01-01 | Paper |
| Factorisation theorems and projective spaces in topology | 1972-01-01 | Paper |
