theory of complete quasi-metric spaces