A quantitative computational model for complete partial metric spaces via formal balls | Publicación