On the non-sequential nature of the interval-domain model of real-number computation
Martı́n Hötzel Escardó, Martin O. Hofmann, Thomas Streicher · Mathematical Structures in Computer Science · 2004
We show that real-number computations in the interval-domain environment are ‘inherently parallel’ in a precise mathematical sense. We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain.