Pages that link to "Item:Q1127525"
From MaRDI portal
The following pages link to A computational model for metric spaces (Q1127525):
Displaying 50 items.
- On the domain of formal balls of the Sorgenfrey quasi-metric space (Q266334) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Essential and density topologies of continuous domains (Q290633) (← links)
- A domain-theoretic approach to fuzzy metric spaces (Q392568) (← links)
- A duality of quantale-enriched categories (Q456860) (← links)
- A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations (Q483298) (← links)
- Cauchyness and convergence in fuzzy metric spaces (Q506254) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- Algebraic models for \(T_1\)-spaces (Q536048) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Intrinsic approach spaces on domains (Q645198) (← links)
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Quasi-metrics and monotone normality (Q719741) (← links)
- \textit{std}-convergence in fuzzy metric spaces (Q723315) (← links)
- Any \(T_1\) space has a continuous poset model (Q837638) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- On computational environments of topological spaces (Q949611) (← links)
- Static space-times naturally lead to quasi-pseudometrics (Q949615) (← links)
- Metric spaces and \(FS\)-domains (Q949616) (← links)
- Lawson topology of the space of formal balls and the hyperbolic topology (Q949625) (← links)
- A differential operator and weak topology for Lipschitz maps (Q972498) (← links)
- A computable approach to measure and integration theory (Q1021572) (← links)
- Hyperbolic topology of normed linear spaces (Q1041647) (← links)
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets (Q1292396) (← links)
- Computable Banach spaces via domain theory (Q1292403) (← links)
- Weighted colimits and formal balls in generalized metric spaces (Q1295210) (← links)
- The generalized Riemann integral on locally compact spaces (Q1295212) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Computation on metric spaces via domain theory (Q1295303) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Riemann and Edalat integration on domains. (Q1427783) (← links)
- Ideal models of spaces. (Q1427784) (← links)
- The regular spaces with countably based models. (Q1427785) (← links)
- Domain representations of topological spaces (Q1583255) (← links)
- Polish spaces, computable approximations, and bitopological spaces (Q1602950) (← links)
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls (Q1744451) (← links)
- Yoneda completion via a dcpo completion of its poset of formal balls (Q1744459) (← links)
- On topological spaces that have a bounded complete dcpo model (Q1747336) (← links)
- Convex power domain and Vietoris space (Q1767772) (← links)
- Order environments of topological spaces (Q1780313) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Extension of valuations on locally compact sober spaces (Q1862060) (← links)
- Topological games in domain theory (Q1873728) (← links)
- Measuring the probabilistic powerdomain (Q1884874) (← links)
- Completeness of hyperspaces of compact subsets of quasi-metric spaces (Q1945259) (← links)
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570) (← links)
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions (Q2087781) (← links)
