Volume 333, Number 1-2, March 2005
Foundations of Software Science and Computation Structure
Andrew D. Gordon
: Preface for the Special Issue: Foundations of Software Science and Computation Structures.
: Normalisation for higher-order calculi with explicit substitutions.
: Game semantics and linear CPS interpretation.
Volume 333, Number 3, March 2005
Structural Information and Communication Complexity
: Optimal oblivious routing on d-dimensional meshes.