Bicompleting weightable quasi-metric spaces and partial metric spaces

We show that the bicompletion of a weightable quasi-metric space is a weightable quasi-metric space. From this result we deduce that any partial metric space has an (up to isometry) unique partial metric bicompletion. Some other consequences are derived. In particular, applications to two interesting examples of partial metric spaces which appear in Computer Science, as the domain of words and the complexity space, are given. The second and third listed authors are partially supported by grants from Spanish Ministry of Science and Technology, BFM 2000-III, and Polytechnical University of Valencia.