Publication:3821265
From MaRDI portal
zbMath0668.54018MaRDI QIDQ3821265
Publication date: 1988
54H25: Fixed-point and coincidence theorems (topological aspects)
68Q55: Semantics in the theory of computing
54E15: Uniform structures and generalizations
Related Items
SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE, Completeness in quasi-uniform spaces, Approximation in quantale-enriched categories, A faithful computational model of the real numbers, Elements of generalized ultrametric domain theory, Domain representability of metric spaces, Convergence and fixed points by fuzzy orders, Generalized ultrametric spaces in quantitative domain theory, The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words, A metric for traces, A double completion for an arbitrary \(T_0\)-quasi-metric space, Applications of the complexity space to the general probabilistic divide and conquer algorithms, Approach merotopological spaces and their completion, Metric semantics for concurrency, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, On non-Hausdorff spaces, Smyth completion as bicompletion, Liminf convergence in \(\Omega\)-categories, Continuity spaces: Reconciling domains and metric spaces, Limiting semantics of numerical programs, Applications of utility functions defined on quasi-metric spaces, Sequence spaces and asymmetric norms in the theory of computational complexity., Generalized metrics and uniquely determined logic programs., A characterization of partial metrizability: Domains are quantifiable., The essence of ideal completion in quantitative form, On the Yoneda completion of a quasi-metric space, The correspondence between partial metrics and semivaluations, A representation theorem for quasi-metric spaces, Constructing a quasi-uniform function space, Effective inseparability in a topological setting, Semi-Lipschitz functions and best approximation in quasi-metric spaces, Complete and directed complete \(\Omega \)-categories, The Smyth Completion
