| 2019 | A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2019 | Bisimulation Maps in Presheaf Categories. Harsh Beohar, Sebastian Küpper |
| 2019 | Bisimulation for Feller-Dynkin Processes. Linan Chen, Florence Clerc, Prakash Panangaden |
| 2019 | Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. Robin Kaarsgaard |
| 2019 | Deriving Logical Relations from Interpretations of Predicate Logic. Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
| 2019 | Diacritical Companions. Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
| 2019 | From Global to Local State, Coalgebraically and Compositionally. Jim Laird |
| 2019 | Learning along a Channel: the Expectation part of Expectation-Maximisation. Bart Jacobs |
| 2019 | Neural Nets via Forward State Transformation and Backward Loss Transformation. Bart Jacobs, David Sprunger |
| 2019 | On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. Ugo Dal Lago, Francesco Gavazzo |
| 2019 | Preface. Barbara König |
| 2019 | Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019 Barbara König |
| 2019 | Quantitative Logics for Equivalence of Effectful Programs. Niels F. W. Voorneveld |
| 2019 | Taylor Expansion, Finiteness and Strategies. Jules Chouquet |
| 2019 | The Construction of Set-Truncated Higher Inductive Types. Niels van der Weide, Herman Geuvers |
| 2019 | The Effects of Effects on Constructivism. Liron Cohen, Sofia Abreu Faro, Ross Tate |
| 2019 | Towards a Directed Homotopy Type Theory. Paige Randall North |