Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. S. Abramsky and A. Jung,Domain theory, in S. Abramsky, D.M. Gabbay and T.S.E. Maibaum (eds.)Handbook of Logic in Computer Science, volume 3, Clarendon Press, 1994.
2. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
3. A. Bauer, M.H. Escardó and A. Simpson,Comparing Functional Paradigms for Exact Real-number Computation, in Proceedings ICALP 2002, Springer LNCS 2380, pp. 488-500, 2002.
4. PCF extended with real numbers
5. P. Di Gianantonio,A Functional Approach to Computability on Real Numbers, Thesis, Universita di Pisa - Genova - Udine, (1993).
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献