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)

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.

Mathematics