Unique fixed points in domain theory

Electronic Notes in Theoretical Computer Science

Volumn 45, Issue , 2001, Pages 258-268

  Martin, Keye ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; MAPPING; SEMANTICS; SET THEORY; THEOREM PROVING; TOPOLOGY;

BANACH THEOREM; COMPACT METRIC SPACES; DOMAIN THEORY; SCOTT CONTINUOUS MAPS;

COMPUTATION THEORY;

EID: 0037879735     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80966-6     Document Type: Conference Paper

References (6)

1. Abramsky S., Jung A. Domain Theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. vol. III:1994;Oxford University Press
2. Edalat A., Heckmann R. A Computational Model for Metric Spaces. Theoretical Computer Science. 193:1998;53-73
3. Edelstein M. On fixed and periodic points under contractive mappings. Journal of the London Math Society. 37:1962;74-79
4. K. Martin. Nonclassical techniques for models of computation. Topology Proceedings, vol. 24, 1999.
5. th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, vol. 1853, Springer-Verlag, 2000.
6. K. Martin. A foundation for computation. Ph.D. Thesis, Tulane University, Department of Mathematics, 2000.