- Rasmus Ejlers Møgelberg and Andrea Vezzosi. Two Guarded Recursive Powerdomains for Applicative Simulation
- Bart Jacobs. Learning from What’s Right and Learning from What’s Wrong
- Daniela Petrişan and Ralph Sarkis. Semialgebras and Weak Distributive Laws
- Eric Finster, Samuel Mimram, Maxime Lucas and Thomas Seiller. A cartesian bicategory of polynomial functors in homotopy type theory
- Giulio Fellin and Peter Schuster. A General Glivenko-Gödel Theorem for Nuclei
- Ugo De’Liguoro and Riccardo Treglia. From semantics to types: the case of the imperative of lambda-calculus
- Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. A Compositional Approach to Parity Games
- Bart Jacobs. Multinomial and Hypergeometric distributions in Markov Categories
- Robin Kaarsgaard and Mathys Rennela. Join inverse rig categories for reversible functional programming, and beyond
- Tom de Jong. Sharp Elements and the Scott Topology of Continuous Dcpos
- Nick Hu and Jamie Vicary. Traced monoidal categories as algebraic structures in Prof
- Samuel Mimram and Aly-Bora Ulusoy. Syntactic regions for concurrent programs
- Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino and Alexandra Silva. Canonical automata via distributive law homomorphisms
- Niccolò Veltri and Niels Voorneveld. Inductive and coinductive predicate liftings for effectful programs
- Kostia Chardonnet, Louis Lemmonier and Benoît Valiron. Categorical Semantics of Reversible Pattern-Matching
- Todd Schmid, Jurriaan Rot and Alexandra Silva. On Star Expressions and Coalgebraic Completeness Theorems
- Swaraj Dash and Sam Staton. Monads for measurable queries in probabilistic databases
- Sandra Alves and Miguel Ramos. An ML-style record calculus with extensible records