Volume 7, Numbers 1-2, June 1999
- Ulrich Berger:
Density Theorems for the Domains-with-Totality Semantics of Dependent Types.
- Marcel Erné:
Z-Continuous Posets and Their Topological Manifestation.
- Reinhold Heckmann:
Approximation of Metric Spaces by Partial Metric Spaces.
- Michael Huth:
On the Approximation of Denotational Mu-Semantics.
- Mathias Kegelmann:
Factorisation Systems on Domains.
- Jürgen Koslowski:
A Convenient Category for Games and Interaction.
- Michael Marz:
An Algebraic View on Recursive Types.
- Bernhard Reus:
Extensional Sigma-Spaces in Type Theory.
- Thomas Streicher:
Inductive Construction of Repletion.
- Jiri Velebil:
Categorical Generalization of a Universal Domain.
Volume 7, Number 3, September 1999
Volume 7, Number 4, December 1999
Last update Fri May 24 19:58:30 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page