@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}
}

{"_id":"ukNn4wrgFdSzQJod6","bibbaseid":"ho-relativelyrecursiverealsandrealfunctions-1994","authorIDs":[],"author_short":["Ho, C."],"bibdata":{"bibtype":"techreport","type":"Technical Report","author":[{"propositions":[],"lastnames":["Ho"],"firstnames":["Chun-Kuen"],"suffixes":[]}],"title":"Relatively Recursive Reals and Real Functions","institution":"University of Chicago, Department of Computer Science","year":"1994","number":"1994-02","keywords":"bib,cca","bibtex":"@TECHREPORT{Ho94,\r\n author = {Ho, Chun-Kuen},\r\n title = {Relatively Recursive Reals and Real Functions},\r\n institution = {University of Chicago, Department of Computer Science},\r\n year = {1994},\r\n type = {Technical Report},\r\n number = {1994-02},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Ho, C."],"key":"Ho94","id":"Ho94","bibbaseid":"ho-relativelyrecursiverealsandrealfunctions-1994","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.319Z","downloads":0,"keywords":["bib","cca"],"search_terms":["relatively","recursive","reals","real","functions","ho"],"title":"Relatively Recursive Reals and Real Functions","year":1994,"dataSources":["t7rKiAbxugj4Agz8M"]}