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.
['Jens Blanck']
Effective domain representations of H (X), the space of compact subsets