Extended real functions in pointfree topology | Publicación