On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
Mathematical Structures in Computer Science
Partial metrisability of continuous posets
Mathematical Structures in Computer Science
Fundamental study: Complete and directed complete Ω-categories
Theoretical Computer Science
Fuzzy Sets and Systems
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Enriched Categories and Quasi-uniform Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
The limit–colimit coincidence theorem for -categories
Mathematical Structures in Computer Science
The formal ball model for -categories
Mathematical Structures in Computer Science
The order-theoretic duality and relations between partial metrics and local equalities
Fuzzy Sets and Systems
Completeness and compactness of quantitative domains
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Probabilistic metric spaces as enriched categories
Fuzzy Sets and Systems
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
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 | 0.00 |