Concepedia

On the Yoneda completion of a quasi-metric space

H.-P. A. Künzi, Michel Schellekens

Theoretical Computer Science · 2002 · 65 citations · 18 references

DOI

Concepts

References

18

Partial Metric Topology

S. G. Matthews · Annals of the New York Academy of Sciences · 1994 · 1.2K citations

, , +14

Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.

Journal of Symbolic Logic · 1991 · 491 citations

, , +8

Semantics of programming languages: structures and techniques

Choice Reviews Online · 1993 · 422 citations

, , +17

Bitopological Spaces

Janet Kelly · Proceedings of the London Mathematical Society · 1963 · 326 citations

Chain-complete posets and directed sets with applications

George Markowsky · Algebra Universalis · 1976 · 210 citations

, , +7