1996
Elements of generalized ultrametric domain theory
Publication
Publication
Theoretical Computer Science , Volume 170 - Issue 1-2 p. 349- 381
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric spaces, as was observed by Lawvere (1973). Guided by his enriched-categorical view on (ultra)metric spaces, we generalize the standard notions of Cauchy sequence and limit in an (ultra)metric space, and of adjoint pair between preorders. This leads to a solution method for recursive domain equations that combines and extends the standard order-theoretic (Smyth and Plotkin, 1982) and metric (America and Rutten, 1989) approaches.
Additional Metadata | |
---|---|
, , , | |
elsevier | |
doi.org/10.1016/S0304-3975(96)80711-0 | |
Theoretical Computer Science | |
Organisation | Computer Security |
Rutten, J. (1996). Elements of generalized ultrametric domain theory. Theoretical Computer Science, 170(1-2), 349–381. doi:10.1016/S0304-3975(96)80711-0 |