| 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
Journal Of Logic And Computation | 2021-10-21 | Paper |
| The Price of Mathematical Scepticism | 2021-07-27 | Paper |
| Effectful applicative bisimilarity: monads, relators, and Howe's method | 2021-01-19 | Paper |
Effectful applicative bisimilarity: monads, relators, and Howe's method
(available as arXiv preprint) | 2021-01-19 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
A monad for full ground reference cells
(available as arXiv preprint) | 2021-01-19 | Paper |
| Broad Infinity and Generation Principles (Part 1: classical set theory) | 2021-01-05 | Paper |
Strong functors on many-sorted sets
Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
| A Theory of Particular Sets | 2019-05-07 | Paper |
Steps and traces
(available as arXiv preprint) | 2018-10-23 | Paper |
| Steps and traces | 2018-10-23 | Paper |
A ghost at \(\omega_1\)
(available as arXiv preprint) | 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
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 |
| Formulating Categorical Concepts using Classes | 2018-01-25 | Paper |
Contextual isomorphisms
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Final coalgebras from corecursive algebras | 2017-07-11 | Paper |
Coproducts of monads on Set
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
From applicative to environmental bisimulation
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Exploratory functions on nondeterministic strategies, up to lower bisimilarity
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
On final coalgebras of power-set functors and saturated trees
Applied Categorical Structures | 2015-08-03 | Paper |
Amb Breaks Well-Pointedness, Ground Amb Doesn't
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Universal properties of impure programming languages
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Functional programs that explain their work
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
Global state considered helpful
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| Infinitary Howe's method | 2013-12-04 | Paper |
| Monads and adjunctions for global exceptions | 2013-10-10 | Paper |
| Infinite trace equivalence | 2013-10-08 | Paper |
Exploring the boundaries of monad tensorability on Set
Logical Methods in Computer Science | 2013-09-26 | Paper |
Adjunction models for call-by-push-value with stacks
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Characteristic formulae for fixed-point semantics: a general framework
MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
Similarity quotients as final coalgebras
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Higher-order containers
Programs, Proofs, Processes | 2010-07-29 | Paper |
Typed Normal Form Bisimulation
Computer Science Logic | 2009-03-05 | Paper |
Infinite trace equivalence
Annals of Pure and Applied Logic | 2008-03-06 | Paper |
Jumbo λ-Calculus
Automata, Languages and Programming | 2007-09-11 | Paper |
Combining algebraic effects with continuations
Theoretical Computer Science | 2007-05-11 | Paper |
Call-by-push-value: Decomposing call-by-value and call-by-name
Higher-Order and Symbolic Computation | 2007-01-05 | Paper |
| scientific article; zbMATH DE number 2172969 (Why is no real title available?) | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2172969 (Why is no real title available?) | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2120508 (Why is no real title available?) | 2004-12-01 | Paper |
Modelling environments in call-by-value programming languages.
Information and Computation | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1948165 (Why is no real title available?) | 2003-07-10 | Paper |
