Relatively recursive reals and real functions. Ho, C. 210(1):99–120, 1999.
bibtex   
@ARTICLE{Ho99,
  author = {Ho, Chun-Kuen},
  title = {Relatively recursive reals and real functions},
  journal = TCS,
  year = {1999},
  volume = {210},
  pages = {99--120},
  number = {1},
  file = {Ho99.pdf:Ho99.pdf:PDF;Ho99.pdf:files\\Ho99.pdf:PDF},
  keywords = {bib,cca}
}

Downloads: 0