1. S. Abramsky, and A. Jung, Domain theory. In: Handbook of Logic in Computer Science (S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, eds.), pp. 1-168 (Clarendon Press, 1994).
2. Recursive characterization of computable real-valued functions and relations;Brattka;Theoret. Comput. Sci.,1996
3. P. Di Gianantonio, A functional approach to computability on real numbers. Ph. D. thesis, University of Pisa, 1993. Technical Report TD 6/93.
4. PCF extended with real numbers;Escardó;Theoret. Comput. Sci.,1996
5. M. H. Escardó, PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation. Ph. D. thesis, University of London, 1997.