Submetrizable Yoneda complete structures for a metric dcpo | Publicación