The measurement process in domain theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1853, Issue , 2000, Pages 116-126

  Martin, Keye ^a  

^a Tulane University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONFORMAL MAPPING; FUNCTIONAL ANALYSIS; TOPOLOGY;

CONTRACTION PRINCIPLES; DOMAIN THEORY; FIXED POINT THEOREMS; FIXED POINTS; MEASUREMENT PROCESS; MONOTONE MAPS; NONMONOTONIC;

FIXED POINT ARITHMETIC;

EID: 84974573776     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_11     Document Type: Conference Paper

References (3)

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