Universes in explicit mathematics

TitleUniverses in explicit mathematics
Publication TypeJournal Article
Year of Publication2001
AuthorsJäger, G, Kahle, R, Studer, T
JournalAnnals of Pure and Applied Logic
Volume109
Pagination141-162
URLhttp://www.iam.unibe.ch/ltgpub/2001/jks01.pdf