An order preserving finite binary encoding of the rationals.

David W. Matula, Peter Kornerup

Browse the full ARITH paper archive.