Embedding metric spaces into cpo’s (1981)

by K Weihrauch, U Schreiber
Venue:Theoretical Computer Science