| 2014 | A Metrized Duality Theorem for Markov Processes. Dexter Kozen, Radu Mardare, Prakash Panangaden |
| 2014 | Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright |
| 2014 | Adequacy and Complete Axiomatization for Timed Modal Logic. Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
| 2014 | Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. Dariusz Biernacki, Sergueï Lenglet |
| 2014 | Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. Marc Lasson |
| 2014 | Coalgebraic Update Lenses. Danel Ahman, Tarmo Uustalu |
| 2014 | Identifying All Preorders on the Subdistribution Monad. Tetsuya Sato |
| 2014 | On Continuous Nondeterminism and State Minimality. Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius |
| 2014 | On Grainless Footprint Semantics for Shared-memory Programs. Stephen Brookes |
| 2014 | On a Categorical Framework for Coalgebraic Modal Logic. Liang-Ting Chen, Achim Jung |
| 2014 | Preface. Bart Jacobs, Alexandra Silva, Sam Staton |
| 2014 | Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014 Bart Jacobs, Alexandra Silva, Sam Staton |
| 2014 | QRB, QFS, and the Probabilistic Powerdomain. Jean Goubault-Larrecq, Achim Jung |
| 2014 | Relational Graph Models, Taylor Expansion and Extensionality. Giulio Manzonetto, Domenico Ruoppolo |
| 2014 | Strategies as Concurrent Processes. Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel |
| 2014 | The Coinductive Resumption Monad. Maciej Piróg, Jeremy Gibbons |
| 2014 | Total Maps of Turing Categories. J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes |
| 2014 | Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. Mathys Rennela |