The following pages link to (Q3316563):
Displaying 50 items.
- Quasicontinuous domains and the Smyth powerdomain (Q265813) (← links)
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Extending algebraic operations to D-completions (Q418818) (← links)
- Interweaving algebra and topology: lattice-valued topological systems (Q419041) (← links)
- Consistent Hoare powerdomains. (Q471444) (← links)
- Consistent Plotkin powerdomains. (Q471476) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Refusal testing (Q580961) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Duality beyond sober spaces: Topological spaces and observation frames (Q671991) (← links)
- Domain theory and integration (Q671993) (← links)
- Power domains and second-order predicates (Q685429) (← links)
- Domains arising as algebras for powerspace constructions (Q689273) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- Inverse image analysis generalises strictness analysis (Q751835) (← links)
- New results in the theory of multivalued mappings. I: Topological characteristics and solvability of operator relations (Q923419) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language (Q1023294) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Defining liveness (Q1064056) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- A categorical treatment of pre- and post-conditions (Q1093363) (← links)
- Domain theory in logical form (Q1174593) (← links)
- The mixed powerdomain (Q1199543) (← links)
- On non-Hausdorff spaces (Q1203848) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Stable power domains (Q1349652) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Limiting semantics of numerical programs (Q1392276) (← links)
- Consistent Hoare powerdomains over dcpos (Q1676530) (← links)
- On \(FS_+\)-domains (Q1725124) (← links)
- Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains (Q1744465) (← links)
- The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications (Q1799913) (← links)
- Power structures (Q1802251) (← links)
- Toward an infinitary logic of domains: Abramsky logic for transition systems (Q1854320) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Three dual ontologies (Q1868336) (← links)
- Constructing a quasi-uniform function space (Q1903595) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)
- Two topologies on the lattice of Scott closed subsets (Q2065103) (← links)
- Some notes on spaces of ideals and computable topology (Q2106589) (← links)
- Non-deterministic effects in a realizability model (Q2130600) (← links)
