Complete partial metric spaces have partially metrizable computational models

Romaguera Bonilla Salvador, Tirado Peláez Pedro, Valero Sierra Óscar

2012

International Journal of Computer Mathematics