@INPROCEEDINGS{BC90,
  author = {Boehm, Hans and Cartwright, Robert},
  title = {Exact real arithmetic, formulating real numbers as functions},
  booktitle = {Research topics in functional programming},
  year = {1990},
  editor = {Turner, D.},
  pages = {43--64},
  publisher = {Addison-Wesley},
  keywords = {bib,cca}
}

{"_id":"Y7woGCKZtuhcLjsBP","bibbaseid":"boehm-cartwright-exactrealarithmeticformulatingrealnumbersasfunctions-1990","authorIDs":[],"author_short":["Boehm, H.","Cartwright, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Boehm"],"firstnames":["Hans"],"suffixes":[]},{"propositions":[],"lastnames":["Cartwright"],"firstnames":["Robert"],"suffixes":[]}],"title":"Exact real arithmetic, formulating real numbers as functions","booktitle":"Research topics in functional programming","year":"1990","editor":[{"propositions":[],"lastnames":["Turner"],"firstnames":["D."],"suffixes":[]}],"pages":"43–64","publisher":"Addison-Wesley","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{BC90,\r\n author = {Boehm, Hans and Cartwright, Robert},\r\n title = {Exact real arithmetic, formulating real numbers as functions},\r\n booktitle = {Research topics in functional programming},\r\n year = {1990},\r\n editor = {Turner, D.},\r\n pages = {43--64},\r\n publisher = {Addison-Wesley},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Boehm, H.","Cartwright, R."],"editor_short":["Turner, D."],"key":"BC90","id":"BC90","bibbaseid":"boehm-cartwright-exactrealarithmeticformulatingrealnumbersasfunctions-1990","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.323Z","downloads":0,"keywords":["bib","cca"],"search_terms":["exact","real","arithmetic","formulating","real","numbers","functions","boehm","cartwright"],"title":"Exact real arithmetic, formulating real numbers as functions","year":1990,"dataSources":["t7rKiAbxugj4Agz8M"]}