| Publication | Date of Publication | Type |
|---|
| Proof theory of skew non-commutative \texttt{MILL} | 2025-01-09 | Paper |
| Canonical Gradings of Monads | 2024-03-05 | Paper |
| Sweedler theory of monads | 2024-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6068935 | 2023-12-15 | Paper |
| A type system with subtyping for WebAssembly's stack polymorphism | 2023-07-28 | Paper |
| Flexibly graded monads and graded algebras | 2023-06-30 | Paper |
| Decomposing Comonad Morphisms. | 2023-02-03 | Paper |
| Reordering Derivatives of Trace Closures of Regular Languages. | 2023-02-03 | Paper |
| Partiality and Container Monads | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089020 | 2022-07-18 | Paper |
| Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus | 2022-05-25 | Paper |
| The sequent calculus of skew monoidal categories | 2022-05-03 | Paper |
| Eilenberg-Kelly reloaded | 2022-04-29 | Paper |
| Proof Theory of Partially Normal Skew Monoidal Categories | 2022-01-10 | Paper |
| The Sequent Calculus of Skew Monoidal Categories | 2021-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013829 | 2021-12-02 | Paper |
| Directed Containers as Categories | 2021-12-02 | Paper |
| Operational semantics with semicommutations | 2021-08-03 | Paper |
| Algebraic and coalgebraic perspectives on interaction laws | 2021-07-08 | Paper |
| Coherence for Skew-Monoidal Categories | 2021-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5854739 | 2021-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964699 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963901 | 2021-02-24 | Paper |
| Interaction Laws of Monads and Comonads | 2021-01-21 | Paper |
| Deductive Systems and Coherence for Skew Prounital Closed Categories | 2021-01-11 | Paper |
| Formalizing Restriction Categories | 2019-09-18 | Paper |
| Relative Monads Formalised | 2019-09-18 | Paper |
| Quotienting the delay monad by weak bisimilarity | 2018-12-04 | Paper |
| Codensity Lifting of Monads and its Dual | 2018-11-02 | Paper |
| A proof-theoretic study of bi-intuitionistic propositional sequent calculus | 2018-09-28 | Paper |
| Container combinatorics: monads and lax monoidal functors | 2018-02-16 | Paper |
| The delay monad and restriction categories | 2017-11-03 | Paper |
| Finiteness and rational sequences, constructively | 2017-10-23 | Paper |
| Combining effects and coeffects via grading | 2017-05-10 | Paper |
| Update Monads: Cointerpreting Directed Containers | 2017-03-13 | Paper |
| Stateful runners of effectful computations | 2016-12-16 | Paper |
| A divertimento on MonadPlus and nondeterminism | 2016-12-15 | Paper |
| A Coalgebraic View of Bar Recursion and Bar Induction | 2016-06-10 | Paper |
| Coalgebraic update lenses | 2016-05-13 | Paper |
| Quotienting the Delay Monad by Weak Bisimilarity | 2016-02-25 | Paper |
| Monads need not be endofunctors | 2015-03-11 | Paper |
| A Hoare logic for the coinductive trace-based big-step semantics of While | 2015-02-19 | Paper |
| Certified Parsing of Regular Languages | 2015-01-13 | Paper |
| Monadic augment and generalised short cut fusion | 2015-01-06 | Paper |
| Certified CYK parsing of context-free languages | 2014-10-23 | Paper |
| When is a container a comonad? | 2014-09-05 | Paper |
| The Recursion Scheme from the Cofree Recursive Comonad | 2014-06-27 | Paper |
| Comonadic notions of computation | 2014-01-24 | Paper |
| A compositional natural semantics and Hoare logic for low-level languages | 2013-10-07 | Paper |
| Recursive coalgebras from comonads | 2013-09-11 | Paper |
| Substitution in non-wellfounded syntax with variable binding | 2013-08-23 | Paper |
| On streams that are finitely red | 2012-10-22 | Paper |
| When Is a Container a Comonad? | 2012-06-22 | Paper |
| A Categorical Outlook on Cellular Automata | 2010-12-03 | Paper |
| A Hoare logic for the coinductive trace-based big-step semantics of While | 2010-05-04 | Paper |
| Monads need not be endofunctors | 2010-04-27 | Paper |
| Corecursive algebras: a study of general structured corecursion | 2009-12-09 | Paper |
| Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents | 2009-12-01 | Paper |
| Trace-Based Coinductive Operational Semantics for While | 2009-10-20 | Paper |
| Proof optimization for partial redundancy elimination | 2009-09-29 | Paper |
| The Essence of Dataflow Programming | 2009-01-15 | Paper |
| Program and proof optimizations with type systems | 2008-11-06 | Paper |
| Categorical Views on Computations on Trees (Extended Abstract) | 2007-11-28 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| A compositional natural semantics and Hoare logic for low-level languages | 2007-04-19 | Paper |
| Type systems equivalent to data-flow analyses for imperative languages | 2007-01-09 | Paper |
| Explicit substitutions and higher-order syntax | 2006-11-17 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Recursive coalgebras from comonads | 2006-06-30 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| Iteration and coiteration schemes for higher-order and nested datatypes | 2005-04-06 | Paper |
| Coproducts of Ideal Monads | 2005-03-21 | Paper |
| Substitution in non-wellfounded syntax with variable binding | 2005-01-11 | Paper |
| Generalizing Substitution | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435476 | 2003-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417851 | 2003-07-30 | Paper |
| Least and greatest fixed points in intuitionistic natural deduction | 2002-03-03 | Paper |
| Recursion schemes from comonads | 2002-01-24 | Paper |
| Functional programming with apomorphisms (corecursion) | 2001-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939621 | 2000-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267198 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312450 | 1994-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4312455 | 1994-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487333 | 1990-01-01 | Paper |
