Embedding metric spaces into CPO's
- 31 December 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 16 (1) , 5-24
- https://doi.org/10.1016/0304-3975(81)90027-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- Effectively given domainsTheoretical Computer Science, 1977
- Computability concepts for programming language semanticsTheoretical Computer Science, 1976