A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
On the Non-sequential Nature of Domain Models of Real-number Computation
2007
Electronical Notes in Theoretical Computer Science
Escardó, 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
doi:10.1016/j.entcs.2007.02.026
fatcat:po6nlqetjbb55ktw3jco4ylkj4