Applied Categorical Structures, Volume 7

Volume 7, Numbers 1-2, June 1999

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

Volume 7, Number 3, September 1999

• Marco Grandis, John MacDonald:
  Homotopy Structures for Algebras over a Monad. 227-260
  Electronic Edition (link) BibTeX
• J. Frith, Worthen Hunsaker:
  Completion of Quasi-Uniform Frames. 261-270
  Electronic Edition (link) BibTeX
• Joanne Walters-Wayland:
  A Shirota Theorem for Frames. 271-277
  Electronic Edition (link) BibTeX
• Ralf Kemper:
  p-Banach Spaces and p-Totally Convex Spaces. 279-295
  Electronic Edition (link) BibTeX

Volume 7, Number 4, December 1999

• Andrea Corradini, Fabio Gadducci:
  An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. 299-331
  Electronic Edition (link) BibTeX
• Ugo Montanari, Francesca Rossi:
  Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. 333-370
  Electronic Edition (link) BibTeX
• Julia Padberg:
  Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. 371-403
  Electronic Edition (link) BibTeX
• Leila Ribeiro:
  Parallel Composition of Graph Grammars. 405-430
  Electronic Edition (link) BibTeX
• Gabriele Taentzer:
  Distributed Graphs and Graph Transformation. 431-462
  Electronic Edition (link) BibTeX