Searching for "Dependent Intersection A New Way of Defining Records in Type Theory." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Abstract Dependent Intersection: A New Way of Defining Records in Type Theory
- …Abstract Dependent Intersection: A New Way of Defining Records in Type Theory Alexei Kopylov…
- Add To MetaCart
-
Dependent intersection: A new way of defining records in type theory
- …Dependent Intersection: A New Way of Defining Records in Type Theory ∗ Alexei Kopylov Department…
- Cited by 15 (3 self) – Add To MetaCart
-
Dependent Intersection: A New Way of Defining Records in Type Theory?
- … Dependent Intersection: A New Way of Defining Records in Type Theory? Alexei Kopylov Department…
- Add To MetaCart
Showing 1 through 3.
