Electronic Notes in Theoretical Computer Science, Volume 173

Volume 173, April 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