Complete partial metric spaces have partially metrizable computational models

It is shown that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a completepartial metric that extends p and induces the Scott topology.