On the non-sequential nature of the interval-domain model of real-number computation

Martin Escardo, M Hofmann, T Streicher

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

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.
Original languageEnglish
Pages (from-to)803-814
Number of pages12
JournalMathematical Structures in Computer Science
Volume14
Issue number6
DOIs
Publication statusPublished - 1 Jan 2004

Fingerprint

Dive into the research topics of 'On the non-sequential nature of the interval-domain model of real-number computation'. Together they form a unique fingerprint.

Cite this