Electronic Notes in Theoretical Computer Science, Volume 218

Volume 218, October 2008

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