CrossRef
Open Access
2021
1 sitasi
Computing with continuous objects: a uniform co-inductive approach
Dieter Spreen
Abstrak
AbstractA uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets and uniformly continuous maps is presented. In the work of Berger, it was shown how to extract certified algorithms working with the signed digit representation from constructive proofs. Berger and the present author generalised this approach to complete metric spaces and showed how to deal with compact sets. Here, we unify this work and lay the foundations for doing a similar thing for the much more comprehensive class of compact Hausdorff spaces occurring in applications. The approach is of the same computational power as Weihrauch’s Type-Two Theory of Effectivity.
Penulis (1)
D
Dieter Spreen
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2021
- Bahasa
- en
- Total Sitasi
- 1×
- Sumber Database
- CrossRef
- DOI
- 10.1017/s0960129521000116
- Akses
- Open Access ✓