%0 Conference Paper
%D 2001
%T VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM
%A Anthony Seda
%A Pascal Hitzler
%I Fifth Irish Workshop on Formal Methods (IWFM'01)
%G eng
%0 Generic
%D 2000
%T Dislocated Topologies
%A Pascal Hitzler
%A Anthony Seda
%A Anthony K. Seda
%X We 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.
%G eng
%0 Generic
%D 1997
%T Sur les programmes logiques localement stratifiés
%A Anthony Seda
%A Pascal Hitzler
%G eng