In *Research topics in functional programming*, pages 43–64, 1990. Addison-Wesley.

bibtex

bibtex

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

Downloads: 0