Electronic Notes in Theoretical Computer Science, Volume 173

Volume 173, April 2007

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