00418nas a2200109 4500008004100000245006700041210006500108260005700173100001800230700002000248856004000268 2001 eng d00aVDM meets LCF: Domain-Theoretic and Topological Aspects of VDM0 aVDM meets LCF DomainTheoretic and Topological Aspects of VDM bFifth Irish Workshop on Formal Methods (IWFM'01)1 aSeda, Anthony1 aHitzler, Pascal uhttp://knoesis.wright.edu/node/179401030nas a2200121 4500008004100000245002600041210002600067520071500093100002000808700001800828700002200846856004000868 2000 eng d00aDislocated Topologies0 aDislocated Topologies3 aWe study a generalized notion of topology which evolved out of applications in the area of logic programming semantics. The generalization is obtained by relaxing the requirements that a neighbourhood of a point includes the point itself, and by allowing neighbourhoods of points to be empty. The correspoding generalized notion of metric is obtained by allowing points to have non-zero distance to themselves. We further show that it is meaningful to discuss neightbourhoods, convergence, and continuity in these spaces. A generalized version of the Banach contraction mapping theorem can also be established. We show finally how the generalized metrics studied here can be obtained from conventional metrics.1 aHitzler, Pascal1 aSeda, Anthony1 aSeda, Anthony, K. uhttp://knoesis.wright.edu/node/192800332nas a2200097 4500008004100000245005900041210005600100100001800156700002000174856004000194 1997 eng d00aSur les programmes logiques localement stratifiés0 aSur les programmes logiques localement stratifi233s1 aSeda, Anthony1 aHitzler, Pascal uhttp://knoesis.wright.edu/node/1927