Uniform limit in explicit mathematics with universes

TitleUniform limit in explicit mathematics with universes
Publication TypeTechnical Reports
Year of Publication1997
AuthorsKahle, R
URLhttp://www.iam.unibe.ch/ltgpub/1997/kah97b.ps