default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd MFPS 2007: New Orleans, LA, USA
- Marcelo Fiore:
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007. Electronic Notes in Theoretical Computer Science 173, Elsevier 2007 - Marcelo P. Fiore:
Preface. 1-2 - John Power
:
Abstract Syntax: Substitution and Binders: Invited Address. 3-16 - Andreas Abel, Klaus Aehlig, Peter Dybjer:
Normalization by Evaluation for Martin-Löf Type Theory with One Universe. 17-39 - Thomas Anberrée:
On the Non-sequential Nature of Domain Models of Real-number Computation. 41-46 - Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni:
What You Lose is What You Leak: Information Leakage in Declassification Policies. 47-66 - Guy Beaulieu:
Probabilistic Completion of Nondeterministic Models. 67-84 - Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer:
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. 85-102 - Manfred Droste, Dietrich Kuske:
Almost Every Domain is Universal. 103-119 - Davide Grohmann, Marino Miculan:
Directed Bigraphs. 121-137 - Hans Hüttel, Michael D. Pedersen:
A Logical Characterisation of Static Equivalence. 139-157 - Achim Jung, M. Andrew Moshier:
A Hofmann-Mislove theorem for Bitopological Spaces. 159-175 - Bartek Klin:
Coalgebraic Modal Logic Beyond Sets. 177-201 - James Laird:
Sequentiality and the CPS Semantics of Fresh Names. 203-219 - Paul Blain Levy:
Amb Breaks Well-Pointedness, Ground Amb Doesn't. 221-239 - Ernie Manes:
Taut Monads, Dynamic Logic and Determinism. 241-262 - Joe Mashburn:
A Spectral Order for Infinite Dimensional Quantum Spaces: A Preliminary Report. 263-273 - Massimo Merro:
An Observational Theory for Mobile Ad Hoc Networks. 275-293 - Rasmus Ejlers Møgelberg, Alex Simpson:
Relational Parametricity for Control Considered as a Computational Effect. 295-312 - Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer:
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. 313-337 - David A. Schmidt:
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. 339-356 - Dimitrios Vytiniotis, Stephanie Weirich:
Free Theorems and Runtime Type Representations. 357-373
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 2024-10-31 20:18 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:
