Recursive analysis characterized as a class of real recursive functions (2006)

by O Bournez, E Hainry
Venue:Fundamenta Informaticae