Relatively Recursive Reals and Real Functions. Ho, C. Technical Report 1994-02, University of Chicago, Department of Computer Science, 1994.
bibtex   
@TECHREPORT{Ho94,
  author = {Ho, Chun-Kuen},
  title = {Relatively Recursive Reals and Real Functions},
  institution = {University of Chicago, Department of Computer Science},
  year = {1994},
  type = {Technical Report},
  number = {1994-02},
  keywords = {bib,cca}
}

Downloads: 0