Extending Martin-Lof type theory by one (2000)

by A Setzer
Venue:Mahlo-universe, Arch. Math. Logic