Totally bounded spaces and compact ordered spaces as domains of computation
Topology and category theory in computer science
Handbook of logic in computer science (vol. 1)
The Smythe-completion of a quasi-uniform space
Semantics of programming languages and model theory
Elements of generalized ultrametric domain theory
Theoretical Computer Science
Continuity spaces: reconciling domains and metric spaces
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
Generalized metric spaces: completion, topology, and power domains via the Yoneda embedding
Theoretical Computer Science
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
Quasi Uniformities: Reconciling Domains with Metric Spaces
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Hi-index | 0.00 |