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 spacesSmyth completenessYoneda completeness\(\omega \)-computational models\(\omega \)-Plotkin domainhyperspace of non-empty compact subsets
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)