Computational Models of Certain Hyperspaces of Quasi-metric Spaces
From MaRDI portal
Publication:3224691
DOI10.2168/LMCS-7(4:1)2011zbMath1237.68121arXiv1108.3736MaRDI QIDQ3224691
Massoud Pourmahdian, Mahdi Aliakbari
Publication date: 2 April 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1108.3736
quasi-metric spaces; Smyth completeness; Yoneda completeness; \(\omega \)-computational models; \(\omega \)-Plotkin domain; hyperspace of non-empty compact subsets
54E35: Metric spaces, metrizability
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications