| 2018 | Bimonoidal Structure of Probability Monads. Tobias Fritz, Paolo Perrone |
| 2018 | Borel Kernels and their Approximation, Categorically. Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier |
| 2018 | Cartesian Integral Categories and Contextual Integral Categories. J. Robin B. Cockett, Jean-Simon Lemay |
| 2018 | Continuous Probability Distributions in Concurrent Games. Hugo Paquet, Glynn Winskel |
| 2018 | Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. Ohad Kammar, Dylan McDermott |
| 2018 | Finiteness Spaces and Generalized Power Series. Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott |
| 2018 | Higher Dimensional Categories: Induction on Extensivity. Thomas Cottrell, Soichiro Fujii, John Power |
| 2018 | Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin |
| 2018 | Isotropy of Algebraic Theories. Pieter J. W. Hofstra, Jason Parker, Philip J. Scott |
| 2018 | Iterated Covariant Powerset is not a Monad. Bartek Klin, Julian Salamanca |
| 2018 | Modality via Iterated Enrichment. Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase |
| 2018 | Morphisms of Open Games. Jules Hedges |
| 2018 | Near Distributive Laws. Ernie Manes, Philip S. Mulry |
| 2018 | Partial Traces on Additive Categories. Naohiko Hoshino |
| 2018 | Preface. Sam Staton |
| 2018 | Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018 Sam Staton |
| 2018 | Reversible Effects as Inverse Arrows. Chris Heunen, Robin Kaarsgaard, Martti Karvonen |
| 2018 | The Sequent Calculus of Skew Monoidal Categories. Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |