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
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