The Measurement Process in Domain Theory

  • Keye Martin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1853)


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.


Point Theorem Contraction Principle Domain Theory Bisection Method Countable Basis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    A. Edalat and R. Heckmann. A Computational Model for Metric Spaces. Theoretical Computer Science 193 (1998) 53–73.MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    K. Martin. A foundation for computation. Ph.D. thesis, Department of Mathematics, Tulane University, 2000.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Keye Martin
    • 1
  1. 1.Department of MathematicsTulane UniversityLAUSA

Personalised recommendations