| Publication | Date of Publication | Type |
|---|
Terminal coalgebras and non-wellfounded sets in homotopy type theory
Logical Methods in Computer Science | 2026-08-04 | Paper |
| Data types with symmetries via action containers | 2026-07-08 | Paper |
| An agda formalization of nonassociative Lambek calculus and its metatheory | 2026-02-10 | Paper |
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
Journal of Logic and Computation | 2025-09-30 | Paper |
| Semi-substructural logics with additives | 2025-09-03 | Paper |
| Deductive systems and coherence for skew prounital closed categories | 2025-08-19 | Paper |
| Normalization by evaluation for the lambek calculus | 2025-01-09 | Paper |
| Proof theory of skew non-commutative \texttt{MILL} | 2025-01-09 | Paper |
| Inductive and coinductive predicate liftings for effectful programs | 2024-12-17 | Paper |
| Constructive final semantics of finite bags | 2024-11-26 | Paper |
Maximally multi-focused proofs for skew non-commutative \texttt{MILL}
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Streams of approximations, equivalence of recursive effectful programs
Lecture Notes in Computer Science | 2023-06-30 | Paper |
| Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. | 2023-06-23 | Paper |
Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Bicategories in univalent foundations
Mathematical Structures in Computer Science | 2022-12-09 | Paper |
Partiality and Container Monads
Programming Languages and Systems | 2022-12-09 | Paper |
| Guarded recursion in Agda via sized types | 2022-07-18 | Paper |
| Coherence via focusing for symmetric skew monoidal categories | 2022-06-24 | 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
(available as arXiv preprint) | 2022-01-10 | Paper |
| Proof Theory of Partially Normal Skew Monoidal Categories | 2022-01-10 | Paper |
The sequent calculus of skew monoidal categories
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
The sequent calculus of skew monoidal categories
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Variations on Noetherianness
(available as arXiv preprint) | 2021-12-02 | Paper |
| Variations on Noetherianness | 2021-12-02 | Paper |
Constructing higher inductive types as groupoid quotients
(available as arXiv preprint) | 2021-05-25 | Paper |
| Constructing higher inductive types as groupoid quotients | 2021-05-25 | Paper |
| Deductive Systems and Coherence for Skew Prounital Closed Categories | 2021-01-11 | Paper |
scientific article; zbMATH DE number 7288622 (Why is no real title available?)
(available as arXiv preprint) | 2020-12-18 | Paper |
| scientific article; zbMATH DE number 7288622 (Why is no real title available?) | 2020-12-18 | Paper |
| En garde! Unguarded iteration for reversible computation in the delay monad | 2020-05-05 | Paper |
| Formalizing Restriction Categories | 2019-09-18 | Paper |
Quotienting the delay monad by weak bisimilarity
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
| The delay monad and restriction categories | 2017-11-03 | Paper |
Finiteness and rational sequences, constructively
Journal of Functional Programming | 2017-10-23 | Paper |
Quotienting the delay monad by weak bisimilarity
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
