Handbook of logic in computer science (vol. 3)
Elements of generalized ultrametric domain theory
Theoretical Computer Science
Continuity spaces: reconciling domains and metric spaces
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
Liminf convergence in &OHgr;-categories
Theoretical Computer Science
Generalized metric spaces: completion, topology, and power domains via the Yoneda embedding
Theoretical Computer Science
The essence of ideal completion in quantitative form
Theoretical Computer Science
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
Quasi Uniformities: Reconciling Domains with Metric Spaces
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
Concept lattices of fuzzy contexts: Formal concept analysis vs. rough set theory
International Journal of Approximate Reasoning
On Domain Theory over Girard Quantales
Fundamenta Informaticae
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets
Fuzzy Sets and Systems
Implication structures, fuzzy subsets, and enriched categories
Fuzzy Sets and Systems
The limit–colimit coincidence theorem for -categories
Mathematical Structures in Computer Science
Relationships between L-ordered convergence structures and strong L-topologies
Fuzzy Sets and Systems
The formal ball model for -categories
Mathematical Structures in Computer Science
Preordered sets valued in a GL-monoid
Fuzzy Sets and Systems
A survey of fuzzifications of frames, the Papert--Papert--Isbell adjunction and sobriety
Fuzzy Sets and Systems
Join-completions of L-ordered sets
Fuzzy Sets and Systems
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Two cartesian closed subcategories of fuzzy domains
Fuzzy Sets and Systems
A Duality Between Ω-categories and Algebraic Ω-categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |
Let @W be a commutative, unital quantale. Complete and directed complete @W-categories are the core objects in Quantitative Domain Theory. This paper, based on the theory of @F-completeness for enriched categories, presents a systematic investigation of completeness and directed completeness of @W-categories.