The Measurement Process in Domain Theory
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.
KeywordsPoint Theorem Contraction Principle Domain Theory Bisection Method Countable Basis
Unable to display preview. Download preview PDF.
- 1.S. Abramsky and A. Jung. Domain Theory. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994Google Scholar
- 3.K. Martin. A foundation for computation. Ph.D. thesis, Department of Mathematics, Tulane University, 2000.Google Scholar