Pages that link to "Item:Q1127525"
From MaRDI portal
The following pages link to A computational model for metric spaces (Q1127525):
Displaying 41 items.
- Maximal point spaces of closed interval posets (Q2105005) (← links)
- On some topological properties of dcpo models of \(T_1\) topological spaces (Q2120287) (← links)
- The monad on strong quasi-metric spaces (Q2120964) (← links)
- Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions (Q2121601) (← links)
- Domain-complete and LCS-complete spaces (Q2130601) (← links)
- Continuous prequantale models of \(T_1\) topological semigroups (Q2130606) (← links)
- A Cartesian closed category of domains with almost algebraic bases (Q2130610) (← links)
- Quasi-continuous Yoneda complete quasi-metric space (Q2130612) (← links)
- On quasi-metrizable \(d\)-spaces (Q2140635) (← links)
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces (Q2215622) (← links)
- Domains and stochastic processes (Q2286750) (← links)
- Dcpo models of Choquet complete and Baire spaces (Q2311927) (← links)
- Formal ball monads (Q2312469) (← links)
- Computability of probability measures and Martin-Löf randomness over metric spaces (Q2389335) (← links)
- Maximal point spaces of dcpos satisfying the Lawson condition (Q2405089) (← links)
- On the construction of domains of formal balls for uniform spaces (Q2447136) (← links)
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations (Q2664100) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- Bicontinuous Domains and Some Old Problems in Domain Theory (Q2994478) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- Computational Models of Certain Hyperspaces of Quasi-metric Spaces (Q3224691) (← links)
- Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272) (← links)
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls (Q3564344) (← links)
- An Application of Martin-Löf Randomness to Effective Probability Theory (Q3576058) (← links)
- The space of formal balls and models of quasi-metric spaces (Q3625677) (← links)
- A quantitative computational model for complete partial metric spaces via formal balls (Q3636910) (← links)
- A Domain-Theoretic Approach to Integration in Hausdorff Spaces (Q4504971) (← links)
- Directed complete poset models of <i>T</i><sub>1</sub> spaces (Q4600751) (← links)
- Unique Fixed Points in Domain Theory (Q4917060) (← links)
- Distance and Measurement in Domain Theory (Q4917069) (← links)
- Lower topological algebraic domain models of topological spaces (Q4958924) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- (Q5112616) (← links)
- Fixed points of contractive maps on dcpo's (Q5740348) (← links)
- Formal balls of Q-categories (Q5889203) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891573) (← links)
- Complete partial metric spaces have partially metrizable computational models (Q5891574) (← links)
- The Xi-Zhao model of \(T_1\)-spaces (Q6044443) (← links)
- T-complete KM-fuzzy metric spaces via domain theory (Q6058097) (← links)
- Local Yoneda completions of quasi-metric spaces (Q6174092) (← links)
