| Publication | Date of Publication | Type |
|---|
| Template games and differential linear logic | 2024-12-19 | Paper |
| A functorial excursion between algebraic geometry and linear logic | 2024-12-06 | Paper |
| Convolution products on double categories and categorification of rule algebras | 2024-10-21 | Paper |
| Parsing as a lifting problem and the Chomsky-Sch\"utzenberger representation theorem | 2022-12-18 | Paper |
| A game semantics of concurrent separation logic | 2022-04-25 | Paper |
| On dialogue games and graph games | 2022-04-25 | Paper |
| Concurrent Separation Logic Meets Template Games | 2021-01-21 | Paper |
| An Asynchronous Soundness Theorem for Concurrent Separation Logic | 2021-01-20 | Paper |
| Ribbon Tensorial Logic | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144623 | 2021-01-19 | Paper |
| On bifibrations of model categories | 2020-06-15 | Paper |
| An explicit formula for the free exponential modality of linear logic | 2018-08-07 | Paper |
| Categorical combinatorics for non deterministic strategies on simple games | 2018-07-17 | Paper |
| An Isbell duality theorem for type refinement systems | 2018-05-17 | Paper |
| A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine | 2018-04-23 | Paper |
| A Fibrational Account of Local States | 2018-04-23 | Paper |
| Relational semantics of linear logic and higher-order model-checking | 2017-08-31 | Paper |
| The parametric continuation monad | 2017-06-14 | Paper |
| Game Semantics in String Diagrams | 2017-05-16 | Paper |
| On dialogue games and coherent strategies | 2017-02-02 | Paper |
| Dialogue categories and chiralities | 2016-12-30 | Paper |
| Functors are type refinement systems | 2016-09-29 | Paper |
| An algebraic account of references in game semantics | 2016-05-10 | Paper |
| Semantic types | 2015-11-11 | Paper |
| An Infinitary Model of Linear Logic | 2015-10-01 | Paper |
| Finitary Semantics of Linear Logic and Higher-Order Model-Checking | 2015-09-16 | Paper |
| A very modal model of a modern, major, general type system | 2014-09-12 | Paper |
| Local States in String Diagrams | 2014-07-24 | Paper |
| Type refinement and monoidal closed bifibrations | 2013-10-01 | Paper |
| Dialogue Categories and Frobenius Monoids | 2013-05-28 | Paper |
| Resource modalities in tensor logic | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075441 | 2011-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3564946 | 2010-05-27 | Paper |
| An Explicit Formula for the Free Exponential Modality of Linear Logic | 2009-07-14 | Paper |
| Functorial Boxes in String Diagrams | 2009-03-12 | Paper |
| Asynchronous Games: Innocence Without Alternation | 2008-09-18 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Asynchronous games. II: The true concurrency of innocence | 2006-09-13 | Paper |
| Sequential algorithms and strongly stable functions | 2005-10-26 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024846 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650584 | 2005-02-18 | Paper |
| Comparing hierarchies of types in models of linear logic | 2004-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808736 | 2004-08-12 | Paper |
| Double categories: a modular model of multiplicative linear logic | 2003-10-28 | Paper |
| Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936122 | 2000-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246950 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219044 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362909 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362960 | 1997-01-01 | Paper |
