A unified view of the Dedekind completion of pointfree function rings | Publicación