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

Volume 7, Number 3, September 1999

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

Volume 7, Number 4, December 1999

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