Embedding metric spaces into cpo’s, Theoretical Computer Science 16 (1981)

by K Weihrauch, U Schreiber