K Ambos-Spies, HC Neis,
SA Terwijn - Theoretical Computer Science, 1996 - Elsevier
Recently, Lutz [14, 15] introduced a polynomial time bounded version of Lebesgue measure.
He and others (see eg [11, 13–18, 20]) used this concept to investigate the quantitative …