Volume 173, April 2007

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII)

• 
  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