Volume 249, August 2009
David A. Schmidt
: Abstract Interpretation From a Denotational-semantics Perspective.
: Another Look at Function Domains.
: Some Programming Languages Suggested by Game Models (Extended Abstract).
: On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos.
Martín Hötzel Escardó
: Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting.
: On the Relative Expressive Power of Calculi for Mobility.
: Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names.