Uniform limit in explicit mathematics with universes (1997)

by Reinhard Kahle