| 2006 | Algebraic Information Theory For Binary Channels. Keye Martin, Ira S. Moskowitz, Gerard Allwein |
| 2006 | An Operational Domain-theoretic Treatment of Recursive Types. Weng Kin Ho |
| 2006 | Arrows, like Monads, are Monoids. Chris Heunen, Bart Jacobs |
| 2006 | Bunching for Regions and Locations. Matthew Collinson, David J. Pym |
| 2006 | Computational Effects in Topological Domain Theory. Ingo Battenfeld |
| 2006 | Efficient Patterns for Model Checking Partial State Spaces in CTL Adam Antonik, Michael Huth |
| 2006 | Functors Determined by Values on Objects. Daniela Cancila, Furio Honsell, Marina Lenisa |
| 2006 | Local Reasoning About Tree Update. Uri Zarfaty, Philippa Gardner |
| 2006 | Monads and Adjunctions for Global Exceptions. Paul Blain Levy |
| 2006 | On the Observational Theory of the CPS-calculus: (Extended Abstract). Massimo Merro, Corrado Biasi |
| 2006 | Preface. Stephen D. Brookes, Michael W. Mislove |
| 2006 | Priestley Duality for Strong Proximity Lattices. Mohamed A. El-Zawawy, Achim Jung |
| 2006 | Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006 Stephen D. Brookes, Michael W. Mislove |
| 2006 | Reasoning About Imperative Quantum Programs. Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
| 2006 | Semantics for Local Computational Effects. John Power |
| 2006 | Strong Update, Disposal, and Encapsulation in Bunched Typing. Josh Berdine, Peter W. O'Hearn |
| 2006 | The Linear Logical Abstract Machine. Eduardo Bonelli |
| 2006 | Towards a Calculus For Wireless Systems. Nicola Mezzetti, Davide Sangiorgi |
| 2006 | Typed Event Structures and the Daniele Varacca, Nobuko Yoshida |
| 2006 | Variables as Resource for Shared-Memory Programs: Semantics and Soundness. Stephen D. Brookes |
| 2006 | Weighted Timed Automata: Model-Checking and Games. Patricia Bouyer |