A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
On the structure of formal balls of the balanced quasi-metric domain of words
[article]
2016
arXiv
pre-print
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ópez, S. Romaguera and O. Valero introduced and studied a balanced quasi-metric on any domain of (finite and infinite) words, denoted by q_b. In this paper we show that the poset of formal balls associated to q_b has the structure of a continuous domain
arXiv:1607.05298v1
fatcat:gl2k35cxrnbgjlz6gltrjotrpi