The Measurement Process in Domain Theory

  title={The Measurement Process in Domain Theory},
  author={Keye Martin},
We introduce the measurement idea in domain theory and then apply it to establish two fixed point theorems. The first is an extension of the Scott fixed point theorem which applies to nonmonotonic mappings. The second is a contraction principle for monotone maps that guarantees the existence of unique fixed points.