A constructive uniform continuity theorem (2002)

by Hajime Ishihara, Peter Schuster
Venue:Quart. J. Math