The following pages link to Continuous Lattices and Domains (Q4787439):
Displayed 50 items.
- An application of a representation theorem for fuzzy metrics to domain theory (Q679766) (← links)
- Connectedness and local connectedness for lattice-valued convergence spaces (Q679771) (← links)
- The probabilistic powerdomain from a topological viewpoint (Q684027) (← links)
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
- Sobriety and spatiality in categories of lattice-valued algebras (Q695258) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- More on upper bicompletion-true functorial quasi-uniformities (Q719721) (← links)
- Quasi-metrics and monotone normality (Q719741) (← links)
- Quotient-reflective and bireflective subcategories of the category of preordered sets (Q719745) (← links)
- A generalization of the Dedekind-MacNeille completion (Q722567) (← links)
- A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces (Q723212) (← links)
- Closedness of the category of liminf complete fuzzy orders (Q723220) (← links)
- Meet continuity properties of posets (Q732011) (← links)
- Embedding lattices into derived lattices. (Q744309) (← links)
- Many for the price of one duality principle for affine sets (Q748704) (← links)
- Exponentials in a Cartesian closed category which contains all algebraic domains (Q748705) (← links)
- Priestley style duality for distributive meet-semilattices (Q763299) (← links)
- Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules (Q766148) (← links)
- Traceless AF embeddings and unsuspended \(E\)-theory (Q776878) (← links)
- A unified method for completions of posets and closure spaces (Q780099) (← links)
- Fixed points of covering upper and lower approximation operators (Q780139) (← links)
- General \(L\)-fuzzy aggregation functions based on complete residuated lattices (Q781352) (← links)
- Ambiguous representations of semilattices, imperfect information, and predicate transformers (Q781536) (← links)
- Representability of binary relations through fuzzy numbers (Q812596) (← links)
- Locally upper bounded poset-valued maps and stratifiable spaces (Q820661) (← links)
- The saturated prefilter monad (Q820674) (← links)
- \textit{SI}-convergence in \(T_0\) spaces (Q820681) (← links)
- Some open problems on well-filtered spaces and sober spaces (Q820698) (← links)
- Quasi-liminf convergence in posets (Q820705) (← links)
- Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality (Q829766) (← links)
- Generalised information systems capture L-domains (Q831140) (← links)
- Distance domains: continuity (Q831143) (← links)
- Many valued lattices and their representations (Q834443) (← links)
- Uniform environments as a general framework for metrics and uniformities (Q834495) (← links)
- Survey of local connectedness axioms and their properties in \(L\)-topological spaces (Q834497) (← links)
- Lattices of convex normal functions (Q835105) (← links)
- Brown-Booth-Tillotson theory for classes of exponentiable spaces (Q837641) (← links)
- Unified representability of total preorders and interval orders through a single function: the lattice approach (Q841166) (← links)
- Generalized continuous posets and a new Cartesian closed category (Q842760) (← links)
- Order-adjoint monads and injective objects (Q847677) (← links)
- Order-convergence and lim-inf \(\mathcal M\)-convergence in posets (Q854082) (← links)
- Projective topology on bifinite domains and applications (Q854172) (← links)
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Representing probability measures using probabilistic processes (Q864426) (← links)
- An enriched category approach to many valued topology (Q868301) (← links)
- On a generalization of Goguen's category \({\mathcal S}et(L)\) (Q868302) (← links)
- The best interval representations of t-norms and automorphisms (Q869122) (← links)
- On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller (Q878146) (← links)