A Computational Model for Metric Spaces

The computational model BX is used to give domain-theoretic proofs of Banach's fixed point theorem and of two classical results of Hutchinson: on a complete metric space, every hyperbolic iterated function system has a unique non-empty compact attractor, and every iteratedfunction system with probabilities has aunique invariant measure with bounded support.