| 2023 | A Categorical Framework for Program Semantics and Semantic Abstraction. Shin-ya Katsumata, Xavier Rival, Jérémy Dubut |
| 2023 | A Complete V-Equational System for Graded lambda-Calculus. Fredrik Dahlqvist, Renato Neves |
| 2023 | A denotationally-based program logic for higher-order store. Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal |
| 2023 | A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. Younesse Kaddar, Sam Staton |
| 2023 | A topological counterpart of well-founded trees in dependent type theory. Maria Emilia Maietti, Pietro Sabelli |
| 2023 | Algebra of Self-Replication. Lawrence S. Moss |
| 2023 | Cartesian Differential Kleisli Categories. Jean-Simon Pacaud Lemay |
| 2023 | Dependent Type Refinements for Futures. Siva Somayyajula, Frank Pfenning |
| 2023 | Dynamic Separation Logic. Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | Fixpoint constructions in focused orthogonality models of linear logic. Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani |
| 2023 | Graded Differential Categories and Graded Differential Linear Logic. Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney |
| 2023 | Implicative models of set theory. Samuele Maschio, Alexandre Miquel |
| 2023 | Joint Distributions in Probabilistic Semantics. Dexter Kozen, Alexandra Silva, Erik Voogd |
| 2023 | Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. Bart Jacobs, Dario Stein |
| 2023 | Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023 Marie Kerjean, Paul Blain Levy |
| 2023 | Profinite lambda-terms and parametricity. Sam van Gool, Paul-André Melliès, Vincent Moreau |
| 2023 | Propositional Logics for the Lawvere Quantale. Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2023 | Saturating automata for game semantics. Alex Dixon, Andrzej S. Murawski |
| 2023 | Semantics of multimodal adjoint type theory. Michael Shulman |
| 2023 | The exponential logic of sequentialization. Aurore Alcolei, Luc Pellissier, Alexis Saurin |
| 2022 | A language for evaluating derivatives of functionals using automatic differentiation. Pietro Di Gianantonio, Abbas Edalat, Ran Gutin |