| 2021 | A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
| 2021 | A Compositional Approach to Parity Games. Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo |
| 2021 | A General Glivenko-Gödel Theorem for Nuclei. Giulio Fellin, Peter M. Schuster |
| 2021 | An ML-style record calculus with extensible records. Sandra Alves, Miguel Ramos |
| 2021 | Canonical automata via distributive law homomorphisms. Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino |
| 2021 | Categorical Semantics of Reversible Pattern-Matching. Kostia Chardonnet, Louis Lemonnier, Benoît Valiron |
| 2021 | From Semantics to Types: the Case of the Imperative lambda-Calculus. Ugo de'Liguoro, Riccardo Treglia |
| 2021 | Inductive and Coinductive Predicate Liftings for Effectful Programs. Niccolò Veltri, Niels F. W. Voorneveld |
| 2021 | Join inverse rig categories for reversible functional programming, and beyond. Robin Kaarsgaard, Mathys Rennela |
| 2021 | Learning from What's Right and Learning from What's Wrong. Bart Jacobs |
| 2021 | Monads for Measurable Queries in Probabilistic Databases. Swaraj Dash, Sam Staton |
| 2021 | Multinomial and Hypergeometric Distributions in Markov Categories. Bart Jacobs |
| 2021 | On Star Expressions and Coalgebraic Completeness Theorems. Todd Schmid, Jurriaan Rot, Alexandra Silva |
| 2021 | Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. Ana Sokolova |
| 2021 | Semialgebras and Weak Distributive Laws. Daniela Petrisan, Ralph Sarkis |
| 2021 | Sharp Elements and Apartness in Domains. Tom de Jong |
| 2021 | Syntactic Regions for Concurrent Programs. Samuel Mimram, Aly-Bora Ulusoy |
| 2021 | Traced Monoidal Categories as Algebraic Structures in Prof. Nick Hu, Jamie Vicary |
| 2021 | Two Guarded Recursive Powerdomains for Applicative Simulation. Rasmus Ejlers Møgelberg, Andrea Vezzosi |