Volume 15, Number 1, February 2005
: Definitions by rewriting in the Calculus of Constructions.
Volume 15, Number 2, April 2005
: On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi.
: A comonadic account of behavioural covarieties of coalgebras.
: The largest Cartesian closed category of domains, considered constructively.
: Periodic Linear Programming with applications to real-time scheduling.
Volume 15, Number 3, June 2005
Volume 15, Number 4, August 2005
Volume 15, Number 5, October 2005
: A computational view of implicit coercions in type theory.
: Isomorphisms of simple inductive types through extensional rewriting.
: Matching with multiplication and exponentiation (extended abstract).
Volume 15, Number 6, December 2005
Maria Emilia Maietti
: Modular correspondence between dependent type theories and categories including pretopoi and topoi.
: From proof-nets to bordisms: the geometric meaning of multiplicative connectives.