A fundamental study into the theory and application of the partial metric spaces

This thesis presents a thesis in which the big "idea" is to develop a more (classically) analytic approach to problems in Computer Science, and develops a notion of local sobriety, which itself appears to be of interest.