A type theory for Mahlo universes, Abstract for Logic Colloquium (1997)

by A Setzer
Venue:95, Bull. Symbolic Logic