The Strength of the Subset Type in Martin-Lf's Type Theory

Anne Salvesen, Jan M. Smith

Browse the full LICS paper archive.