| 2013 | A Categorical Theory of Patches. Samuel Mimram, Cinzia Di Giusto |
| 2013 | A Connection Between Concurrency and Language Theory. Zoltán Ésik |
| 2013 | A Geometric View of Partial Order Reduction. Eric Goubault, Tobias Heindel, Samuel Mimram |
| 2013 | A Stream Calculus of Bottomed Sequences for Real Number Computation. Kei Terayama, Hideki Tsuiki |
| 2013 | Approximating Bisimilarity for Markov Processes. Chunlai Zhou |
| 2013 | Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. Uday S. Reddy |
| 2013 | Bicategorical Semantics for Nondeterministic Computation. Mike Stay, Jamie Vicary |
| 2013 | Coinductive Predicates and Final Sequences in a Fibration. Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs |
| 2013 | Continuity of Gödel's System T Definable Functionals via Effectful Forcing. Martín Hötzel Escardó |
| 2013 | Dedication. Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott |
| 2013 | Distributed Probabilistic and Quantum Strategies. Glynn Winskel |
| 2013 | History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. Uli Fahrenberg, Axel Legay |
| 2013 | Layout Randomization and Nondeterminism. Martín Abadi, Jérémy Planul, Gordon D. Plotkin |
| 2013 | Linearization of Automatic Arrays and Weave Specifications. David Sprunger |
| 2013 | Monads for Behaviour. Maciej Piróg, Jeremy Gibbons |
| 2013 | Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. Roy L. Crole, Frank Nebel |
| 2013 | Normalization by Evaluation and Algebraic Effects. Danel Ahman, Sam Staton |
| 2013 | On Block Structures in Quantum Computation. Bart Jacobs |
| 2013 | On Concurrent Games with Payoff. Pierre Clairambault, Glynn Winskel |
| 2013 | Preface. Dexter Kozen, Michael W. Mislove |
| 2013 | Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013 Dexter Kozen, Michael W. Mislove |
| 2013 | Quasicontinuous Domains and the Smyth Powerdomain. Reinhold Heckmann, Klaus Keimel |
| 2013 | Rational Operational Models. Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot |
| 2013 | Varieties and Covarieties of Languages (Extended Abstract). Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez |