The following pages link to (Q4843177):
Displaying 50 items.
- Coding strategies, the Choquet game, and domain representability (Q260593) (← links)
- The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets. (Q272851) (← links)
- \(\mathbb T^\omega\) as a stable universal domain. (Q276416) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333) (← links)
- Fundamental duality of abstract categories and its applications (Q277334) (← links)
- QRB, QFS, and the probabilistic powerdomain (Q283758) (← links)
- Essential and density topologies of continuous domains (Q290633) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Efficient optimally lazy algorithms for minimal-interval semantics (Q313957) (← links)
- Syntax and operational semantics of a probabilistic programming language with scopes (Q334454) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Convergence of preference functions (Q388149) (← links)
- Function spaces from Lawson compact continuous domains to continuous B-domains (Q438698) (← links)
- Consistent Hoare powerdomains. (Q471444) (← links)
- Consistent Plotkin powerdomains. (Q471476) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations (Q483298) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Maximal classes of spaces and domains determined by topologies on function spaces of domains (Q524353) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets (Q549318) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Interpolating functions (Q627707) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (Q645200) (← links)
- A duality of generalized metric spaces (Q645202) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Range universal spaces (Q664686) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Domain theory and integration (Q671993) (← links)
- Elements of generalized ultrametric domain theory (Q672055) (← links)
- Connectedness and local connectedness for lattice-valued convergence spaces (Q679771) (← links)
- The probabilistic powerdomain from a topological viewpoint (Q684027) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- Stone coalgebras (Q703523) (← links)
- A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces (Q723212) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Meet continuity properties of posets (Q732011) (← links)
- Entropy as a fixed point (Q817848) (← links)
- Some open problems on well-filtered spaces and sober spaces (Q820698) (← links)
- Generalised information systems capture L-domains (Q831140) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- A representation of t-norms in interval-valued \(L\)-fuzzy set theory (Q835165) (← links)
- Any \(T_1\) space has a continuous poset model (Q837638) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- A logical approach to stable domains (Q859843) (← links)
