Volume 218, October 2008

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)

• 
  Andrej Bauer, Michael W. Mislove: Preface. 1-4
• 
  Robert Dockins, Andrew W. Appel, Aquinas Hobor: Multimodal Separation Logic for Reasoning About Operational Semantics. 5-20
• 
  Alexandre Buisse, Peter Dybjer: The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. 21-32
• 
  Vashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. 33-51
• 
  Esfandiar Haghverdi, Philip J. Scott: Proofs as Polynomials. 53-72
• 
  Jean Krivine, Robin Milner, Angelo Troina: Stochastic Bigraphs. 73-96
• 
  Cosimo Laneve, Antonio Vitale: Expressivity in the kappa Family. 97-109
• 
  Konstantinos Chatzikokolakis, Keye Martin: A Monotonicity Principle for Information Theory. 111-129
• 
  Bob Coecke, Simon Perdrix, Éric Oliver Paquette: Bases in Diagrammatic Quantum Protocols. 131-152
• 
  Yannick Delbecque, Prakash Panangaden: Game Semantics for Quantum Stores. 153-170
• 
  Marcelo P. Fiore, Chung-Kil Hur: Term Equational Systems and Logics: (Extended Abstract). 171-192
• 
  Chris Heunen: Semimodule Enrichment. 193-208
• 
  Achim Jung, M. Andrew Moshier, Steven J. Vickers: Presenting Dcpos and Dcpo Algebras. 209-229
• 
  Daniel Leivant: Propositional Dynamic Logic with Program Quantifiers. 231-240
• 
  Paul Blain Levy: Global State Considered Helpful. 241-259
• 
  Keye Martin, Prakash Panangaden: A Technique for Verifying Measurements. 261-273
• 
  Marino Miculan: A Categorical Model of the Fusion Calculus. 275-293
• 
  Gordon D. Plotkin, John Power: Tensors of Comodels and Models for Operational Semantics. 295-311
• 
  Andreas Rossberg: Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. 313-336
• 
  Adam Scriven: A Functional Algorithm for Exact Real Integration with Invariant Measures. 337-353
• 
  Alan P. Sexton, Hayo Thielecke: Reasoning about B+ Trees with Operational Semantics and Separation Logic. 355-369
• 
  Carsten Varming, Lars Birkedal: Higher-Order Separation Logic in Isabelle/HOLCF. 371-389