Volume 18, Number 1, February 2008
, Stefania Botta
: A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
, Jingde Cheng
: Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions).
: A positive set theory with equality revisited.
Volume 18, Number 2, April 2008
Volume 18, Number 3, June 2008
Volume 18, Number 4, August 2008
: An insertion operator preserving infinite reduction sequences.
: Coercions in a polymorphic type system.
Volume 18, Number 5, October 2008
Simon J. Gay
: Bounded polymorphism in session types.
Volume 18, Number 6, December 2008
José Miguel Cañete Valdeón
: On the interpretation of mathematical entities in the formalisation of programming and modelling languages.
: Reducibility of domain representations and Cantor-Weihrauch domain representations.