Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in Theoretical Informatics

In this paper we present a point of view on the terminology of distance spaces (names, basic notions, convergence sequence, Cauchy sequence, contraction mapping, induced order, associated metric,…) and corresponding contraction principle, and fixed point principle of increasing mappings, in such spaces. Applications to theoretical computer science are also considered.