Computational Models of Certain Hyperspaces of Quasi-metric Spaces (Q3224691)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational Models of Certain Hyperspaces of Quasi-metric Spaces |
scientific article |
Statements
Computational Models of Certain Hyperspaces of Quasi-metric Spaces (English)
0 references
2 April 2012
0 references
quasi-metric spaces
0 references
Yoneda completeness
0 references
Smyth completeness
0 references
hyperspace of non-empty compact subsets
0 references
\(\omega \)-computational models
0 references
\(\omega \)-Plotkin domain
0 references
