| 2006 | Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005 Martín Hötzel Escardó, Achim Jung, Michael W. Mislove |
| 2005 | A Concurrent Model for Linear Logic. Emmanuel Beffara |
| 2005 | A Game Semantics for Proof Search: Preliminary Results. Dale Miller, Alexis Saurin |
| 2005 | A Grainless Semantics for Parallel Programs with Shared Mutable Data. Stephen Brookes |
| 2005 | A Quillen Model Structure for Chu Spaces. Jeffrey M. Egger |
| 2005 | A Type-theoretic Reconstruction of the Visitor Pattern. Peter Buchlovsky, Hayo Thielecke |
| 2005 | An Approach to Splitting Atoms Safely: Extended Abstract. Cliff B. Jones |
| 2005 | Automata Games for Multiple-model Checking. Altaf Hussain, Michael Huth |
| 2005 | Automated Security Protocol Analysis With the AVISPA Tool. Luca Viganò |
| 2005 | Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. Abbas Edalat, Dirk Pattinson |
| 2005 | Elgot Algebras: (Extended Abstract). Jirí Adámek, Stefan Milius, Jirí Velebil |
| 2005 | First Steps in Synthetic Computability Theory. Andrej Bauer |
| 2005 | Hiproofs: A Hierarchical Notion of Proof Tree. Ewen Denney, John Power, Konstantinos Tourlas |
| 2005 | Infinite Trace Equivalence. Paul Blain Levy |
| 2005 | Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces. Reinhold Heckmann |
| 2005 | Normal Form Simulation for McCarthy's Amb. Søren B. Lassen |
| 2005 | On Timed Models and Full Abstraction. Gavin Lowe, Joël Ouaknine |
| 2005 | On the Relationship Between Web Services Security and Traditional Protocols. E. Kleiner, A. W. Roscoe |
| 2005 | Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen |
| 2005 | Practical Program Extraction from Classical Proofs. Yevgeniy Makarov |
| 2005 | Preface. Martín Hötzel Escardó, Achim Jung, Michael W. Mislove |
| 2005 | Probabilistic Observations and Valuations: (Extended Abstract). Matthias Schröder, Alex Simpson |
| 2005 | Probabilistic and Nondeterministic Aspects of Anonymity. Catuscia Palamidessi |
| 2005 | Program Extraction From Proofs of Weak Head Normalization. Malgorzata Biernacka, Olivier Danvy, Kristian Støvring |
| 2005 | Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. Michael Backes |
| 2005 | Strongly Compact Closed Semantics. Bob Coecke |
| 2005 | Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini |
| 2005 | Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. Klaus Keimel |
| 2005 | Towards "Dynamic Domains": Totally Continuous Cocomplete Isar Stubbe |
| 2005 | Variables as Resource in Separation Logic. Richard Bornat, Cristiano Calcagno, Hongseok Yang |