The Strength of the Subset Type in Martin-Löf's Type Theory - Anne Salvesen; Jan M. Smith (LICS, 1988)

On Specifications, Subset Types and Interpretation of Proposition in Type Theory. - Anne Salvesen (BIT, 1992)