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

DOI10.1017/S0960129504004360zbMath1067.68070OpenAlexW2125420252MaRDI QIDQ4659540

Thomas Streicher, Martin Hofmann, Martín Hötzel Escardó

Publication date: 21 March 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129504004360

zbMATH Keywords

parallelismfunctional programmingreal-number computationsinterval-domain environment

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Higher-type and set recursion theory (03D65)

Related Items (7)

A stream calculus of bottomed sequences for real number computation ⋮ Semantics of a sequential language for exact real-number computation ⋮ On naturally continuous non-dcpo domains ⋮ Sequential real number computation and recursive relations ⋮ Sequential Real Number Computation and Recursive Relations ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ On the Non-sequential Nature of Domain Models of Real-number Computation

This page was built for publication: On the non-sequential nature of the interval-domain model of real-number computation