| 2009 | A Context-based Approach to Proving Termination of Evaluation. Malgorzata Biernacka, Dariusz Biernacki |
| 2009 | Abstract Interpretation From a Denotational-semantics Perspective. David A. Schmidt |
| 2009 | An Algebraic Account of References in Game Semantics. Paul-André Melliès, Nicolas Tabareau |
| 2009 | Another Look at Function Domains. Ana Bove |
| 2009 | Categories of Timed Stochastic Relations. Daniel Brown, Riccardo Pucella |
| 2009 | Continuous Functions on Final Coalgebras. Neil Ghani, Peter G. Hancock, Dirk Pattinson |
| 2009 | Contraction-free Proofs and Finitary Games for Linear Logic. André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz |
| 2009 | Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). Jirí Adámek, Stefan Milius, Jirí Velebil |
| 2009 | Equational Coalgebraic Logic. Alexander Kurz, Raul Andres Leal |
| 2009 | Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. Paul Blain Levy, Kidane Yemane Weldemariam |
| 2009 | Extending Algebraic Operations to D-Completions. Klaus Keimel, Jimmie D. Lawson |
| 2009 | Game Semantics for Access Control. Samson Abramsky, Radha Jagadeesan |
| 2009 | Logical Semantics for Stability. Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca |
| 2009 | Monoidal Indeterminates and Categories of Possible Worlds. Claudio Hermida, Robert D. Tennent |
| 2009 | On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. Andrej Bauer |
| 2009 | On the Relative Expressive Power of Calculi for Mobility. Daniele Gorla |
| 2009 | On the Unification of Process Semantics: Equational Semantics. David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
| 2009 | Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. Mehrnoosh Sadrzadeh, Roy Dyckhoff |
| 2009 | Preface. Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi |
| 2009 | Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009 Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi |
| 2009 | Quantitative Notions of Leakage for One-try Attacks. Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2009 | Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. Martín Hötzel Escardó |
| 2009 | Some Programming Languages Suggested by Game Models (Extended Abstract). John Longley |
| 2009 | Twisted Graph States for Ancilla-driven Universal Quantum Computation. Elham Kashefi, Daniel K. L. Oi, Dan E. Browne, Janet Anders, Erika Andersson |
| 2009 | Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. Sam Staton |