Differentiation of constructive functions of a real variable and relative computability

1987

Osvald Demuth, Pavel Filipec

in: Mathematical logic and its applications, Berlin,