Roggenbach, Markus - 2018
This paper adds the technique of chain completion to the setting of [MCB94]. We develop the theory of chain completion of a domain and show how this completion relates to metric and ideal completion. Especially we study consistency results for denotational semantics on , and