| 2018 | A Categorical Characterization of Relative Entropy on Standard Borel Spaces. Nicolas Gagné, Prakash Panangaden |
| 2018 | A Categorical Foundation for Structured Reversible Flowchart Languages. Robert Glück, Robin Kaarsgaard |
| 2018 | A Denotational Semantics for SPARC TSO. Ryan Kavanagh, Stephen Brookes |
| 2018 | A Game Semantics of Concurrent Separation Logic. Paul-André Melliès, Léo Stefanesco |
| 2018 | A Note on Distances between Probabilistic and Quantum distributions. Bart Jacobs |
| 2018 | A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. Simon Docherty, David J. Pym |
| 2018 | A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. Loris D'Antoni, Zachary Kincaid, Fang Wang |
| 2018 | Category-theoretic Structure for Independence and Conditional Independence. Alex Simpson |
| 2018 | Classical Control and Quantum Circuits in Enriched Category Theory. Mathys Rennela, Sam Staton |
| 2018 | Complete Axiomatization for the Total Variation Distance of Markov Chains. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2018 | Finitary Higher Inductive Types in the Groupoid Model. Peter Dybjer, Hugo Moeneclaey |
| 2018 | From Reversible Programs to Univalent Universes and Back. Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry |
| 2018 | Non-deterministic Effects in a Realizability Model. Niels F. W. Voorneveld |
| 2018 | On Dialogue Games and Graph Games. Clément Jacq, Paul-André Melliès |
| 2018 | On Models of Higher-Order Separation Logic. Ales Bizjak, Lars Birkedal |
| 2018 | Preface. Alexandra Silva |
| 2018 | Proving Soundness of Extensional Normal-Form Bisimilarities. Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
| 2018 | Self-Quotation in a Typed, Intensional Lambda-Calculus. Barry Jay |
| 2018 | The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017 Alexandra Silva |