Pages that link to "Item:Q672055"
From MaRDI portal
The following pages link to Elements of generalized ultrametric domain theory (Q672055):
Displaying 46 items.
- Generalized Scott topology on sets with families of pre-orders (Q276404) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Kernel systems on \(L\)-ordered sets (Q429397) (← links)
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets (Q549318) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Convergence and fixed points by fuzzy orders (Q835121) (← links)
- Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets (Q968936) (← links)
- Fuzzy complete lattices (Q1040912) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- A characterization of distance between 1-bounded compact ultrametric spaces through a universal space (Q1127530) (← links)
- Weighted colimits and formal balls in generalized metric spaces (Q1295210) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- The essence of ideal completion in quantitative form (Q1605177) (← links)
- Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset (Q1800263) (← links)
- Fixed point theory of cyclic operators (Q2106886) (← links)
- Elementary doctrines as coalgebras (Q2220195) (← links)
- The Banaschewski compactification revisited (Q2318350) (← links)
- Fuzzy \(Z\)-continuous posets (Q2318880) (← links)
- Two Cartesian closed subcategories of fuzzy domains (Q2351599) (← links)
- Scott convergence and fuzzy Scott topology on \(L\)-posets (Q2364775) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Fuzzy bases of fuzzy domains (Q2375544) (← links)
- Continuity in quantitative domains (Q2386243) (← links)
- A non-frame valued Cartesian closed category of liminf complete fuzzy orders (Q2398179) (← links)
- Complete and directed complete \(\Omega \)-categories (Q2464932) (← links)
- Double controlled quasi metric-like spaces and some topological properties of this space (Q2671161) (← links)
- Fuzzy cut-stable map and its extension property1 (Q2987927) (← links)
- Domain Equations Based on Sets with Families of Pre-orders (Q2994482) (← links)
- L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos (Q2994484) (← links)
- The formal ball model for -categories (Q3081322) (← links)
- The limit–colimit coincidence theorem for -categories (Q3559972) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513307) (← links)
- UNIFORMITIES ON FREE SEMIGROUPS (Q4513308) (← links)
- Convergence and quantale-enriched categories (Q4553296) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- A New Approach to Quantitative Domain Theory (Q4917050) (← links)
- Lax distributive laws for topology, II (Q4975425) (← links)
- A characterisation of weightable quasi-metric generating functions (Q5056518) (← links)
- Categorical dualities between certain kinds of fuzzy posets (Q5275873) (← links)
- SOME FIXED POINT THEOREMS (Q5390307) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
