Normal semicontinuity and the Dedekind completion of pointfree function rings | Publicación