Electronic Notes in Theoretical Computer Science, Volume 218

Volume 218, October 2008

• 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