Differentiation of constructive functions of a real variable and relative computability
pp. 81-106
in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987Abstract
The paper belongs to constructive mathematics of Markov school. The aim of it is to show an introducing of sane relativized notions into constructive mathematical analysis (CMA) and to present a few results concerning differentiability of constructive real-valued functions of a real variable as an example of the utilization of the relativization.