On the universal completion of pointfree function spaces | Publicación