Title: Constructive real numbers and constructive function spaces
Subjects: Mathematical analysis - Foundations, Numbers, Real, Real Numbers