The essence of ideal completion in quantitative form
Theoretical Computer Science
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
Mathematical Structures in Computer Science
Recursively defined metric spaces without contraction
Theoretical Computer Science
Fundamental study: Complete and directed complete Ω-categories
Theoretical Computer Science
Convergence and fixed points by fuzzy orders
Fuzzy Sets and Systems
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Fuzzy Sets and Systems
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)
Enriched Categories and Quasi-uniform Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Continuity in quantitative domains
Fuzzy Sets and Systems
Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets
Fuzzy Sets and Systems
The limit–colimit coincidence theorem for -categories
Mathematical Structures in Computer Science
The category-theoretic solution of recursive metric-space equations
Theoretical Computer Science
The formal ball model for -categories
Mathematical Structures in Computer Science
A semantic model for graphical user interfaces
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Semantics for graphical user interfaces
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
A semantic foundation for hidden state
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Multivalued mappings, fixed-point theorems and disjunctive databases
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
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 |