Volume 5, Number 1, March 1995
: Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic.
, Uwe Wolter
: Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics.
Volume 5, Number 2, June 1995
: An Approach to Object Semantics based on Terminal Co-Algebras.
Volume 5, Number 3, September 1995
: Equivalences between Logics and Their Representing Type Theories.
: Causal Dependencies in Multiplicative Linear Logic with MIX.
: A Note on the Structure of Bilattices.
Volume 5, Number 4, December 1995
: Sound and Complete Axiomatisations of Call-by-Value Control Operators.
, Bart Jacobs
: Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.