Relatively recursive reals and real functions (1999)

by C-K Ho
Venue:pp.99–120 in Theoretical Computer Science vol.210