The title Constructive analysis, types and exact real numbers covers the wide field of research dealing with ‘precise’ computationson continuous structures. The adjective ‘precise’ is used here in an informal way, referring to computations where the rounding off of the output and the approximative nature of the input are explicitly taken nto account in some way.
Spitters, B. A. W., Geuvers, J. H., Niqui, M., & Wiedijk, F. (2007). Preface (Special issue on Constructive analysis, types and exact real numbers). Mathematical Structures in Computer Science, 17(1), 1-. https://doi.org/10.1017/S0960129506005846