Volume 353, Numbers 1-3, 14 March 2006
: The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus.
: Similarity between preferential models.
: Structure of proofs and the complexity of cut elimination.
: Linear and affine logics with temporal, spatial and epistemic operators.
: Testing against a non-controllable stream X-machine using state counting.