Author:
Escardó Martín Hötzel,Simpson Alex
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;A. Bauer,2002
2. Boehm, H.J.: Constructive real interpretation of numerical programs. SIGPLAN Notices 22(7), 214–221 (1987)
3. Boehm, H.J., Cartwright, R.: Exact real arithmetic: Formulating real numbers as functions. In: Turner, D. (ed.) Research Topics in Functional Programming, pp. 43–64. Addison-Wesley (1990)
4. Lecture Notes in Computer Science;A. Bove,2009
5. Brouwer, L.E.J.: Besitzt jede reelle Zahl eine Dezimalbruchentwicklung? Math. Ann. 83, 201–210 (1920)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献