New results on the Baire partial quasi-metric space, fixed point theory and asymptoticcomplexity analysis for recursive programs | Publicación