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

by A Setzer
Venue:Bulletin of Symbolic Logic, 3:128 { 129