2 papers
math.LO2016
On the structure of formal balls of the balanced quasi-metric domain of words
Salvador Romaguera, Oscar Valero
In "Denotational semantics for programming languages, balanced quasi-metrics and fixed points" (International Journal of Computer Mathematics 85 (2008), 623-630), J. Rodríguez-Lópe…
math.GN2008
The bicompletion of the Hausdorff quasi-uniformity
Hans-Peter A. Kunzi, S. Romaguera, M. A. Sanchez Granero
We study conditions under which the Hausdorff quasi-uniformity of a quasi-uniform space on the set of the nonempty subsets o…