Structural subtyping for inductive types with functorial equality rules (Q3535679): Difference between revisions

@@ Property / cites work @@
+Coercion completion and conservativity in coercive subtyping
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of LF with coercive subtyping and universes
+Normal rank
@@ Property / cites work @@
+Subtyping dependent types
@@ Property / cites work: Subtyping dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+The view from the left
@@ Property / cites work: The view from the left / rank @@
+Normal rank
@@ Property / cites work @@
+Transitivity in coercive subtyping
@@ Property / cites work: Transitivity in coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank