Computing Measure as a Primitive Operation in Real Number Computation.

Christine Ganer, Arno Pauly, Florian Steinberg

Browse the full CSL paper archive.