On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
The correspondence between partial metrics and semivaluations
Theoretical Computer Science - Mathematical foundations of programming semantics
A coalgebraic view on positive modal logic
Theoretical Computer Science - Selected papers of CMCS'03
Partial metrisability of continuous posets
Mathematical Structures in Computer Science
Denotational semantics for programming languages, balanced quasi-metrics and fixed points
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
On Domain Theory over Girard Quantales
Fundamenta Informaticae
A quantitative computational model for complete partial metric spaces via formal balls†
Mathematical Structures in Computer Science
Enriched Categories and Quasi-uniform Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Structures in Computer Science
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |