On universes in type theory. To appear (0)

by E Palmgren