On the Non-sequential Nature of Domain Models of Real-number Computation

Authors:
Thomas Anberrée
Affiliations:
School of Computer Science, Birmingham University, Birmingham, U.K.
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 3
Cited 1

Domain theory

Handbook of logic in computer science (vol. 3)
Real PCF extended with integration

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On the non-sequential nature of the interval-domain model of real-number computation

Mathematical Structures in Computer Science

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Escardo, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak parallel-or. Part of the argument involves showing that the addition operation is not Vuillemin sequential. We generalize this to all continuous domain environments for the real line. The key property of the real line that leads to this phenomenon is its connectedness. We show that any continuous domain environment for any connected topological space exhibits a similar parallel effect.