Continuity spaces: Reconciling domains and metric spaces

This publication has 16 references indexed in Scilit:

• Quantales and continuity spaces
  Algebra universalis, 1997
• Asymmetry and duality in topology
  Topology and its Applications, 1995
• Quantales, observational logic and process semantics
  Mathematical Structures in Computer Science, 1993
• A general theory of structure spaces with applications to spaces of prime ideals
  Algebra universalis, 1991
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• All Topologies Come From Generalized Metrics
  The American Mathematical Monthly, 1988
• Real-valued models with metric equality and uniformly continuous predicates
  The Journal of Symbolic Logic, 1982
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Semantics of probabilistic programs
  Journal of Computer and System Sciences, 1981
• Metric spaces, generalized logic, and closed categories
  Rendiconti del Seminario Matematico e Fisico di Milano, 1973