Searching for authors named Anne Salvesen – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On Specifications, Subset Types and Interpretation of Propositions in Type Theory
- …On Specifications, Subset Types and Interpretation of Propositions in Type Theory Anne Salvesen…
- Cited by 1 (0 self) – Add To MetaCart
-
The Church-Rosser Property for Pure Type Systems with βη-reduction
- …The Church-Rosser Property for Pure Type Systems with ## -reduction Anne Salvesen June 1992 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Polymorphism and Monomorphism in Martin-Löf's Type Theory
- …Polymorphism and Monomorphism in Martin-Lof's Type Theory Anne Salvesen August 1989 # Abstract…
- Cited by 4 (0 self) – Add To MetaCart
-
The Strength of the Subset Type in Martin-Löf's Type Theory
- …The Strength of the Subset Type in Martin-Lof's Type Theory # Anne Salvesen Jan M. Smith March…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 4.
