The Measurement Process in Domain Theory (2000)
by
Keye Martin
| Venue: | Proceedings of the 27 th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science |
| Citations: | 23 - 17 self |
BibTeX
@INPROCEEDINGS{Martin00themeasurement,
author = {Keye Martin},
title = {The Measurement Process in Domain Theory},
booktitle = {Proceedings of the 27 th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science},
year = {2000},
pages = {116--126},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
Citations
| 402 | Domain Theory, in - Abramsky, Jung - 1994 |
| 40 | A computational model for metric spaces - Edalat, Heckmann - 1996 |
| 32 | A foundation for computation - Martin - 2000 |
