Volume 7, Numbers 1-2, June 1999
: Density Theorems for the Domains-with-Totality Semantics of Dependent Types.
: Z-Continuous Posets and Their Topological Manifestation.
: On the Approximation of Denotational Mu-Semantics.
: Categorical Generalization of a Universal Domain.
Volume 7, Number 3, September 1999
: p-Banach Spaces and p-Totally Convex Spaces.
Volume 7, Number 4, December 1999
: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.