Embedding Metric Spaces Into CPO's

[1]  P. Martin-Löf.  Notes on constructive mathematics , 1970 .

[2]  George Markowsky,et al.  Bases for chain-complete posets , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[3]  Robert L. Constable,et al.  Computability Concepts for Programming Language Semantics , 1976, Theor. Comput. Sci..

[4]  G. Markowsky,et al.  Bases for chain-complete posets , 1976 .

[5]  Michael B. Smyth,et al.  Effectively given Domains , 1977, Theor. Comput. Sci..

[6]  James W. Thatcher,et al.  A Uniform Approach to Inductive Posets and Inductive Closure , 1977, Theor. Comput. Sci..