The following pages link to Continuous Lattices and Domains (Q4787439):
Displayed 50 items.
- \(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)
- 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)
- Representability of binary relations through fuzzy numbers (Q812596) (← 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)
- Quasicontinuity of posets via Scott topology and sobrification (Q878153) (← links)
- (IC) \(L\)-cotopological spaces (Q881823) (← links)
- Closure axioms for a class of fuzzy matroids and co-towers of matroids (Q881826) (← links)
- Lattice-valued soft algebras. (Q889973) (← links)
- Continuity of function spaces from pointwise directed families of characteristic functions. (Q890017) (← links)
- On the order-theoretic properties of lower concept formula systems (Q891194) (← links)
- Representable \((\mathbb{T},\mathbf{V})\)-categories (Q891924) (← links)
- Monotone equilibria in nonatomic supermodular games. A comment (Q894622) (← links)
- Metrics for generalized persistence modules (Q895700) (← links)
- Open set lattices of subspaces of spectrum spaces (Q895880) (← links)
- Bases of closure systems over residuated lattices (Q896027) (← links)
- A representation of L-domains by information systems (Q896923) (← links)
- QC-continuity of posets and the Hoare powerdomain of QFS-domains (Q897978) (← links)
- Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras (Q904516) (← links)
- A note on duals of topologies. (Q906507) (← links)
- An irregular filter model (Q930872) (← links)
- Strongly continuous posets and the local Scott topology (Q932355) (← links)
- The optimization problem over a distributive lattice (Q933802) (← links)
- A tribute to Karl H. Hofmann on the occasion of his 75th birthday (Q938291) (← links)