Anne Salvesen

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Anne Salvesen
On Specifications, Subset Types and Interpretation of Proposition in Type Theory. BIT 32 (1) (1992)
Anne Salvesen, Jan M. Smith
The Strength of the Subset Type in Martin-Löf's Type Theory LICS (1988)