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…