| Publication | Date of Publication | Type |
|---|
| Intuitionistic proofs without syntax | 2024-12-19 | Paper |
| Normalization without syntax | 2024-05-27 | Paper |
| A graphical proof theory of logical time | 2024-05-27 | Paper |
| BV and Pomset Logic Are Not the Same | 2024-04-10 | Paper |
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Logical Methods in Computer Science | 2024-01-16 | Paper |
Combinatorial flows as bicolored atomic flows
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Combinatorial proofs for constructive modal logic | 2023-03-24 | Paper |
| scientific article; zbMATH DE number 7668098 (Why is no real title available?) | 2023-03-24 | Paper |
An Analytic Propositional Proof System on Graphs
Logical Methods in Computer Science | 2023-01-09 | Paper |
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
Automated Reasoning | 2022-11-09 | Paper |
| Justification logic for constructive modal logic | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7559288 (Why is no real title available?) | 2022-07-18 | Paper |
| Game semantics for constructive modal logic | 2022-05-25 | Paper |
A fully labelled proof system for intuitionistic modal logics
Journal Of Logic And Computation | 2021-09-22 | Paper |
| Towards a Denotational Semantics for Proofs in Constructive Modal Logic | 2021-04-19 | Paper |
Logic beyond formulas: a proof system on graphs
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| scientific article; zbMATH DE number 7204450 (Why is no real title available?) | 2020-05-26 | Paper |
| Towards a combinatorial proof theory | 2020-05-14 | Paper |
| On combinatorial proofs for modal logic | 2020-05-14 | Paper |
| On combinatorial proofs for logics of relevance and entailment | 2020-03-04 | Paper |
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
Deep inference and expansion trees for second-order multiplicative linear logic
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
Maehara-style modal nested calculi
Archive for Mathematical Logic | 2019-03-27 | Paper |
On the decision problem for MELL
Theoretical Computer Science | 2019-03-26 | Paper |
| From syntactic proofs to combinatorial proofs | 2018-10-18 | Paper |
| Label-free modular systems for classical and intuitionistic modal logics | 2018-04-23 | Paper |
Symmetric normalisation for intuitionistic logic
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Proof theory for indexed nested sequents | 2018-02-02 | Paper |
| On the length of medial-switch-mix derivations | 2017-12-20 | Paper |
| Modular focused proof systems for intuitionistic modal logics | 2017-10-17 | Paper |
| No complete linear term rewriting system for propositional logic | 2017-07-12 | Paper |
On linear rewriting systems for Boolean logic and some applications to proof theory
Logical Methods in Computer Science | 2017-04-11 | Paper |
Non-crossing tree realizations of ordered degree sequences
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | 2017-02-22 | Paper |
Proof nets and semi-star-autonomous categories
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Focused and Synthetic Nested Sequents
Lecture Notes in Computer Science | 2016-06-10 | Paper |
On nested sequents for constructive modal logics
Logical Methods in Computer Science | 2015-10-29 | Paper |
A system of interaction and structure. IV: The exponentials and decomposition
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
On the Power of Substitution in the Calculus of Structures
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A logical basis for quantum evolution and entanglement
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Herbrand-confluence
Logical Methods in Computer Science | 2014-01-08 | Paper |
System NEL is undecidable
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Cut elimination in nested sequents for intuitionistic modal logics
Lecture Notes in Computer Science | 2013-03-18 | Paper |
| Herbrand-confluence for cut elimination in classical first order logic | 2012-11-22 | Paper |
Extension without cut
Annals of Pure and Applied Logic | 2012-10-11 | Paper |
| The focused calculus of structures | 2012-09-18 | Paper |
From deep inference to proof nets via cut elimination
Journal Of Logic And Computation | 2011-10-21 | Paper |
A system of interaction and structure. V: The exponentials and splitting
Mathematical Structures in Computer Science | 2011-06-15 | Paper |
What is the problem with proof nets for classical logic?
Programs, Proofs, Processes | 2010-07-29 | Paper |
Modular sequent systems for modal logic
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Expanding the Realm of Systematic Proof Theory
Computer Science Logic | 2009-11-12 | Paper |
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Lecture Notes in Computer Science | 2009-07-07 | Paper |
A Kleene Theorem for Forest Languages
Language and Automata Theory and Applications | 2009-04-02 | Paper |
| What is a logic, and what is a proof? | 2008-08-26 | Paper |
A Characterization of Medial as Rewriting Rule
Lecture Notes in Computer Science | 2008-01-02 | Paper |
| On the axiomatisation of Boolean categories with and without medial | 2007-11-01 | Paper |
| On the axiomatisation of Boolean categories with and without medial | 2007-11-01 | Paper |
From Proof Nets to the Free *-Autonomous Category
Logical Methods in Computer Science | 2007-10-11 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2196613 (Why is no real title available?) | 2005-08-22 | Paper |
MELL in the calculus of structures
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1980939 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1980929 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1841813 (Why is no real title available?) | 2002-12-04 | Paper |
