| Publication | Date of Publication | Type |
|---|
| A sequent calculus for opetopes | 2024-12-19 | Paper |
| Topological proofs of categorical coherence | 2024-10-17 | Paper |
| Rigidification of cubical quasicategories | 2024-10-07 | Paper |
| On the symmetry of sequentiality | 2023-04-28 | Paper |
| Coherent presentations of monoids with a right-Noetherian Garside family | 2023-03-15 | Paper |
| Topological proofs of categorical coherence | 2023-02-14 | Paper |
| On confluence for weakly normalizing systems | 2022-12-09 | Paper |
| Rigidification of cubical quasi-categories | 2022-11-24 | Paper |
| Strong normalization of substitutions | 2022-08-18 | Paper |
| Subtyping + extensionality: Confluence of βηtop reduction in F≤ | 2022-08-16 | Paper |
| Syntactic approaches to opetopes | 2022-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5062636 | 2022-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5062609 | 2022-03-17 | Paper |
| Tridendriform algebras on hypergraph polytopes | 2022-01-14 | Paper |
| Coherent presentations of monoids with a right-noetherian Garside family | 2021-07-01 | Paper |
| Proofs and surfaces | 2020-08-27 | Paper |
| Categorified cyclic operads | 2020-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967236 | 2019-07-03 | Paper |
| Syntactic aspects of hypergraph polytopes | 2019-05-16 | Paper |
| A formal language for cyclic operads | 2019-03-19 | Paper |
| Coherent Presentations of Monoidal Categories | 2017-10-12 | Paper |
| Free algebraic structures on the permutohedra | 2017-07-27 | Paper |
| A theory of effects and resources: adjunction models and polarised calculi | 2016-10-24 | Paper |
| The duality of computation | 2015-09-11 | Paper |
| Operads, Clones, and Distributive Laws | 2014-09-12 | Paper |
| Revisiting the categorical interpretation of dependent type theory | 2014-07-25 | Paper |
| Definability and full abstraction | 2013-12-06 | Paper |
| An approach to innocent strategies as graphs | 2012-05-24 | Paper |
| Preface to the special volume | 2011-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075443 | 2011-02-15 | Paper |
| The Duality of Computation under Focus | 2010-10-27 | Paper |
| Interactive models of computation and program behavior | 2010-05-27 | Paper |
| Sequential algorithms as bistable maps | 2010-02-05 | Paper |
| The Joy of String Diagrams | 2008-11-20 | Paper |
| Computational self-assembly | 2008-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3506860 | 2008-06-17 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024821 | 2005-07-04 | Paper |
| Symmetry and Interactivity in Programming | 2005-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813223 | 2004-08-13 | Paper |
| A short scientific biography of Maurice Nivat | 2002-07-18 | Paper |
| On infinite \(\eta\)-expansion | 2002-01-01 | Paper |
| Preface to ``Locus solum. | 2001-07-23 | Paper |
| A semantics for lambda calculi with resources | 2000-05-09 | Paper |
| Explicit substitutions | 2000-02-09 | Paper |
| Abstract Böhm trees | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222034 | 1998-12-06 | Paper |
| Confluence properties of weak and strong calculi of explicit substitutions | 1998-01-21 | Paper |
| Strong normalization of substitutions | 1997-10-26 | Paper |
| A confluent reduction for the λ-calculus with surjective pairing and terminal object | 1996-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855340 | 1995-11-09 | Paper |
| Theoretical Pearl Yet yet a counterexample for λ+SP | 1995-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138537 | 1994-10-31 | Paper |
| Fully abstract semantics for observably sequential languages | 1994-06-19 | Paper |
| Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) | 1994-06-09 | Paper |
| Formal parametric polymorphism | 1994-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142163 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287527 | 1993-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036571 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027624 | 1993-02-21 | Paper |
| Coherence of subsumption, minimum typing and type-checking in F ≤ | 1992-09-27 | Paper |
| An abstract framework for environment machines | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748888 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201049 | 1990-01-01 | Paper |
| Partiality, cartesian closedness, and toposes | 1989-01-01 | Paper |
| Alpha conversion, conditions on variables and categorical logic | 1989-01-01 | Paper |
| The categorical abstract machine | 1987-01-01 | Paper |
| Categorical combinators | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785893 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805878 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3721820 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741042 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714050 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3756499 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703897 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714049 | 1985-01-01 | Paper |
| Sequential algorithms on concrete data structures | 1982-01-01 | Paper |
| Term rewriting on nestohedra | N/A | Paper |
