On the non-sequential nature of the interval-domain model of real-number computation
From MaRDI portal
Publication:4659540
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
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
