default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDApplied 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 - Jirí 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
