| Publication | Date of Publication | Type |
|---|
| Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot | 2023-02-03 | Paper |
| Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies | 2022-05-03 | Paper |
| Steps and traces | 2021-10-21 | Paper |
| The Price of Mathematical Scepticism | 2021-07-27 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144664 | 2021-01-19 | Paper |
| Broad Infinity and Generation Principles (Part 1: classical set theory) | 2021-01-05 | Paper |
| Strong functors on many-sorted sets | 2020-03-06 | Paper |
| A Theory of Particular Sets | 2019-05-07 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580326 | 2018-08-15 | Paper |
| A syntactic view of computational adequacy | 2018-07-17 | Paper |
| Iteration and labelled iteration | 2018-04-23 | Paper |
| Transition systems over games | 2018-04-23 | Paper |
| Formulating Categorical Concepts using Classes | 2018-01-25 | Paper |
| Contextual isomorphisms | 2017-10-20 | Paper |
| Final Coalgebras from Corecursive Algebras. | 2017-07-11 | Paper |
| Coproducts of Monads on Set | 2017-05-16 | Paper |
| From Applicative to Environmental Bisimulation | 2016-07-15 | Paper |
| Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity | 2016-05-10 | Paper |
| On final coalgebras of power-set functors and saturated trees | 2015-08-03 | Paper |
| Amb Breaks Well-Pointedness, Ground Amb Doesn't | 2015-07-10 | Paper |
| Universal properties of impure programming languages | 2014-11-27 | Paper |
| Functional programs that explain their work | 2014-07-21 | Paper |
| Global State Considered Helpful | 2014-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863895 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851326 | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852364 | 2013-10-08 | Paper |
| Exploring the Boundaries of Monad Tensorability on Set | 2013-09-26 | Paper |
| Adjunction Models For Call-By-Push-Value With Stacks | 2013-08-16 | Paper |
| Characteristic formulae for fixed-point semantics: a general framework | 2012-05-11 | Paper |
| Similarity Quotients as Final Coalgebras | 2011-05-19 | Paper |
| Higher-Order Containers | 2010-07-29 | Paper |
| Typed Normal Form Bisimulation | 2009-03-05 | Paper |
| Infinite trace equivalence | 2008-03-06 | Paper |
| Jumbo λ-Calculus | 2007-09-11 | Paper |
| Combining algebraic effects with continuations | 2007-05-11 | Paper |
| Call-by-push-value: Decomposing call-by-value and call-by-name | 2007-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680357 | 2005-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4829806 | 2004-12-01 | Paper |
| Modelling environments in call-by-value programming languages. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411826 | 2003-07-10 | Paper |
| The Price of Mathematical Scepticism | 0001-01-03 | Paper |
