| 2024 | A Semantic Proof of Generalised Cut Elimination for Deep Inference. Robert Atkey, Wen Kokke |
| 2024 | Algebraic Reasoning over Relational Structures. Jan Jurka, Stefan Milius, Henning Urbat |
| 2024 | Amortized Analysis via Coalgebra. Harrison Grodin, Robert Harper |
| 2024 | An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence. Jean-Simon Pacaud Lemay |
| 2024 | CaTT contexts are finite computads. Thibaut Benjamin, Ioannis Markakis, Chiara Sarti |
| 2024 | Continuous Domains for Function Spaces Using Spectral Compactification. Amin Farjudian, Achim Jung |
| 2024 | Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory. Yue Niu, Jonathan Sterling, Robert Harper |
| 2024 | GATlab: Modeling and Programming with Generalized Algebraic Theories. Owen Lynch, Kristopher Brown, James P. Fairbanks, Evan Patterson |
| 2024 | Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions. Cécilia Pradic, Ian Price |
| 2024 | Inferentialist Resource Semantics. Alexander V. Gheorghiu, Tao Gu, David J. Pym |
| 2024 | On Kleisli liftings and decorated trace semantics. Daniel Luckhardt, Harsh Beohar, Sebastian Küpper |
| 2024 | On a fibrational construction for optics, lenses, and Dialectica categories. Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios, Jonathan Weinberger |
| 2024 | Parametricity via Cohesion. C. B. Aberlé |
| 2024 | Polynomials in homotopy type theory as a Kleisli category. Eliès Harington, Samuel Mimram |
| 2024 | Positive Focusing is Directly Useful. Beniamino Accattoli, Jui-Hsuan Wu |
| 2024 | Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, MFPS XL, Oxford, UK, June 17-21, 2024 Valeria de Paiva, Alex Simpson |
| 2024 | Strong Nominal Semantics for Fixed-Point Constraints. Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho |
| 2024 | Two-dimensional Kripke Semantics II: Stability and Completeness. G. A. Kavvos |
| 2024 | Typed Non-determinism in Concurrent Calculi: The Eager Way. Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez |
| 2023 | Linear Arboreal Categories. Samson Abramsky, Yoàv Montacute, Nihil Shah |