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