External Links

    Journal: Applied Categorical Structures

    Volume 7, Issue 1-2

    3 -- 30Ulrich Berger. Density Theorems for the Domains-with-Totality Semantics of Dependent Types
    31 -- 70Marcel Erné. Z-Continuous Posets and Their Topological Manifestation
    71 -- 83Reinhold Heckmann. Approximation of Metric Spaces by Partial Metric Spaces
    85 -- 111Michael Huth. On the Approximation of Denotational Mu-Semantics
    113 -- 128Mathias Kegelmann. Factorisation Systems on Domains
    129 -- 145Jürgen Koslowski. A Convenient Category for Games and Interaction
    147 -- 157Michael Marz. An Algebraic View on Recursive Types
    159 -- 183Bernhard Reus. Extensional Sigma-Spaces in Type Theory
    185 -- 207Thomas Streicher. Inductive Construction of Repletion
    209 -- 226Jiri Velebil. Categorical Generalization of a Universal Domain
    runs on