@inproceedings{setzer:universesTypeTheoryInaccessibleMahlo:2008,
author = {Anton Setzer},
title = {Universes in type theory part {I} -- {I}naccessibles and {M}ahlo},
editor = {A. Andretta and K. Kearnes and D. Zambella},
booktitle = {Logic Colloquium '04},
publisher = {Association of Symbolic Logic, Lecture
Notes in Logic 29, Cambridge University Press},
year = {2008},
pages = {123 -- 156},
isbn={978-0521884242}
}