P. Di Gianantonio. A Functional Approach to Computability on Real Numbers. PhD thesis, Universita di Pisa, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Comparing Functional Paradigms for Exact Real-Number - Bauer, Escardó, Simpson (2002) (Correct)
....to the encodings of reals, allowing the possibility of distinguishing between di#erent representations of the same real number. In recent years, the extensional approach has been the subject of much theoretical investigation via the study of specialist languages, such as Di Gianantonio s RL [Di 93] and Escard o s RealPCF [Esc96] On the other hand, the intensional approach is the one that is actually used when exact real number computation is implemented in practice see, for example, GL01] Research supported by the Slovene Ministry of Science grant Z1 3138 0101 01 Research ....
P. Di Gianantonio. A Functional Approach to Computability on Real Numbers. PhD thesis, Universita di Pisa, 1993.
A Universal Characterization of the Closed Euclidean.. - Escardó, Simpson (Correct)
.... computational structures such as streams, allowing computations to be performed to any desired degree of accuracy [35, 6, 4, 5, 33] Of particular relevance to our work is the issue of obtaining an abstract data type of real numbers, in which the underlying computational representation is hidden [5, 8, 10, 11]. In the programming language Real PCF [10] the abstract data type is based on simple real number constructors and destructors. Mathematically, the constructors are unary midpoint operations x 7 0 x and x 7 x 1 on the unit interval [0; 1] where x y = x y) 2 is the binary midpoint ....
P. Di Gianantonio. A functional approach to computability on real numbers. PhD thesis, University of Pisa, 1993. Technical Report TD 6/93.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC