| 2008 | A Categorical Model of the Fusion Calculus. Marino Miculan |
| 2008 | A Functional Algorithm for Exact Real Integration with Invariant Measures. Adam Scriven |
| 2008 | A Monotonicity Principle for Information Theory. Konstantinos Chatzikokolakis, Keye Martin |
| 2008 | A Technique for Verifying Measurements. Keye Martin, Prakash Panangaden |
| 2008 | Bases in Diagrammatic Quantum Protocols. Bob Coecke, Simon Perdrix, Éric Oliver Paquette |
| 2008 | Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. Andreas Rossberg |
| 2008 | Expressivity in the kappa Family. Cosimo Laneve, Antonio Vitale |
| 2008 | Game Semantics for Quantum Stores. Yannick Delbecque, Prakash Panangaden |
| 2008 | Global State Considered Helpful. Paul Blain Levy |
| 2008 | HYPE Applied to the Modelling of Hybrid Biological Systems. Vashti Galpin, Jane Hillston, Luca Bortolussi |
| 2008 | Higher-Order Separation Logic in Isabelle/HOLCF. Carsten Varming, Lars Birkedal |
| 2008 | Multimodal Separation Logic for Reasoning About Operational Semantics. Robert Dockins, Andrew W. Appel, Aquinas Hobor |
| 2008 | Preface. Andrej Bauer, Michael W. Mislove |
| 2008 | Presenting Dcpos and Dcpo Algebras. Achim Jung, M. Andrew Moshier, Steven J. Vickers |
| 2008 | Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008 Andrej Bauer, Michael W. Mislove |
| 2008 | Proofs as Polynomials. Esfandiar Haghverdi, Philip J. Scott |
| 2008 | Propositional Dynamic Logic with Program Quantifiers. Daniel Leivant |
| 2008 | Reasoning about B+ Trees with Operational Semantics and Separation Logic. Alan P. Sexton, Hayo Thielecke |
| 2008 | Semimodule Enrichment. Chris Heunen |
| 2008 | Stochastic Bigraphs. Jean Krivine, Robin Milner, Angelo Troina |
| 2008 | Tensors of Comodels and Models for Operational Semantics. Gordon D. Plotkin, John Power |
| 2008 | Term Equational Systems and Logics: (Extended Abstract). Marcelo P. Fiore, Chung-Kil Hur |
| 2008 | The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. Alexandre Buisse, Peter Dybjer |