default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th MFPS 2008: Philadelphia, PA, USA
- Andrej Bauer, Michael W. Mislove:
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008. Electronic Notes in Theoretical Computer Science 218, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 23:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
