Paper Info
Title
Semantic domains based on sets with families of equivalences
Abstract
This paper contains a preliminary study of a class of spaces that can be seen as special cases of metric spaces. These spaces seem to cover all practical needs, as exemplified e.g. by the work in 2]. Their interest lies mainly in the fact that the degree of mathematical sofistication required to develop the theory is quite small, at least as compared to the metric case. The paper recreates part of the theory developed for metric spaces, ending with a fixed-point theorem that can be used for solving “domain equations”, and a final coalgebra theorem.
Year
DOI
Venue
1998
10.1016/S1571-0661(04)00054-4
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
metric space,fixed point theorem
T-norm,Discrete mathematics,Fréchet space,Computer science,Convex metric space,Domain theory,Intrinsic metric,Uniform continuity,Metric space,Injective metric space
Journal
Volume
Issue
Citations 
11
C
6
PageRank 
References 
Authors
1.20
4
1
Name
Order
Citations
PageRank
Luís Monteiro112619.98