The following pages link to Continuous Lattices and Domains (Q4787439):
Displayed 50 items.
- Quasi-pseudo-metrization of topological preordered spaces (Q438704) (← links)
- Domain theory and mirror properties in inverse semigroups (Q444685) (← links)
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra (Q448927) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- A class of fuzzy multisets with a fixed number of memberships (Q454972) (← links)
- Consistent Hoare powerdomains. (Q471444) (← links)
- Consistent Plotkin powerdomains. (Q471476) (← links)
- Two Cartesian closed categories of information algebras (Q473187) (← links)
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- On topologies defined by irreducible sets (Q478401) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations (Q483298) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- On approximate-type systems generated by \( L\)-relations (Q507641) (← links)
- On the largest Cartesian closed category of stable domains (Q517047) (← links)
- A new view of relationship between atomic posets and complete (algebraic) lattices (Q521574) (← links)
- On state residuated lattices (Q521705) (← links)
- Maximal classes of spaces and domains determined by topologies on function spaces of domains (Q524353) (← links)
- Elements for a formal model of intentional systems (Q529643) (← links)
- On the uniformization of lattice-valued frames (Q533148) (← links)
- On the prevariety of perfect lattices (Q535109) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- Algebraic models for \(T_1\)-spaces (Q536048) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets (Q549318) (← links)
- Fuzzy algebras as a framework for fuzzy topology (Q549319) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- A decomposition theorem for maxitive measures (Q550670) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- The prime dicompletion of a di-uniformity on a plain texture (Q554419) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- The dual of a generalized completely distributive lattice is a hypercontinuous lattice (Q607459) (← links)
- Adjunctions on the lattices of partitions and of partial partitions (Q607553) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- Insertion and extension theorems for lattice-valued functions on preordered topological spaces (Q616943) (← links)
- Hausdorff continuous interval-valued functions and quasicontinuous functions (Q618815) (← links)
- Towards the theory of \(\mathbb M\)-approximate systems: Fundamentals and examples (Q622030) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- Idempotent block splitting on partial partitions. I: Isotone operators (Q634752) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Approximation of sets based on partial covering (Q642525) (← links)
- Order topology and bi-Scott topology on a poset (Q644638) (← links)
- Intrinsic approach spaces on domains (Q645198) (← 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)
- Pullbacks, \(C(X)\)-algebras, and their Cuntz semigroup (Q664714) (← links)