Effective domain representations of H(X), the space of compact subsets

被引：8
|
作者：
Blanck, J [1 ]
机构：
[1] Univ Uppsala, Dept Math, SE-75106 Uppsala, Sweden
来源：
THEORETICAL COMPUTER SCIENCE | 1999年 / 219卷 / 1-2期
关键词：
computability; domain theory; representations; iterated function systems;
D O I：
10.1016/S0304-3975(98)00282-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper gives effective domain representations of spaces H(X) of non-empty compact subsets of effective complete metric spaces X. The domain representation of H(X) is constructed from a domain representation of X using the Plotkin power domain construction. As an application of the representation an effective version of a fundamental theorem on IFS (iterated function system) is shown. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：19 / 48
页数：30
相关论文
共 50 条
12345