| 2025 | A Fresh Look at Bivariate Binomial Distributions. Bart Jacobs |
| 2025 | A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel |
| 2025 | Compact Quantitative Theories of Convex Algebras. Matteo Mio |
| 2025 | Compositional Inference for Bayesian Networks and Causality. Bart Jacobs, Márk Széles, Dario Stein |
| 2025 | Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics. Ryota Kojima, Corina Cîrstea |
| 2025 | Cyclic Proofs in Hoare Logic and its Reverse. James Brotherston, Quang Loc Le, Gauri Desai, Yukihiro Oda |
| 2025 | Functoriality of Enriched Data Types. Lukas Mulder, Paige Randall North, Maximilien Péroux |
| 2025 | Initial Algebras of Domains via Quotient Inductive-Inductive Types. Simcha van Collem, Niels van der Weide, Herman Geuvers |
| 2025 | Modular abstract syntax trees (MAST): substitution tensors with second-class sorts. Marcelo P. Fiore, Ohad Kammar, Georg Moser, Sam Staton |
| 2025 | Order in Partial Markov Categories. Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles |
| 2025 | Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025 Clemens Kupke, Stefan Milius |
| 2025 | Reversible computations are computations. Clément Aubert, Jean Krivine |
| 2025 | Safety, Relative Tightness and the Probabilistic Frame Rule. Janez Ignacij Jereb, Alex Simpson |
| 2025 | Strong Dinatural Transformations and Generalised Codensity Monads. Maciej Piróg, Filip Sieczkowski |
| 2025 | Strong normalization through idempotent intersection types: a new syntactical approach. Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile |
| 2025 | The Functional Machine Calculus III: Control. Willem Heijltjes |
| 2025 | Traces via Strategies in Two-Player Games. Benjamin Plummer, Corina Cîrstea |
| 2025 | Unambiguous Acceptance of Thin Coalgebras. Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke |
| 2024 | Polynomial Universes and Dependent Types. C. B. Aberlé, David I. Spivak |