Compositional Coinduction with Sized Types (Q5739446): Difference between revisions

@@ Property / OpenAlex ID @@
+W2500784495
@@ Property / OpenAlex ID: W2500784495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766795
@@ Property / cites work: Q2766795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457444
@@ Property / cites work: Q4457444 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed Inductive/Coinductive Types and Strong Normalization
+Normal rank
@@ Property / cites work @@
+Semi-continuous Sized Types and Termination
@@ Property / cites work: Semi-continuous Sized Types and Termination / rank @@
+Normal rank
@@ Property / cites work @@
+A predicative analysis of structural recursion
@@ Property / cites work: A predicative analysis of structural recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded recursion with copatterns
@@ Property / cites work: Wellfounded recursion with copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839066
@@ Property / cites work: Q3839066 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Foundational extensible corecursion: a proof assistant perspective
+Normal rank
@@ Property / cites work @@
+Subtyping, Declaratively
@@ Property / cites work: Subtyping, Declaratively / rank @@
+Normal rank
@@ Property / cites work @@
+The power of parameterization in coinductive proof
+Normal rank
@@ Property / cites work @@
+The Size-Change Termination Principle for Constructor Based Languages
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Productivity of Stream Definitions in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / rank @@
+Normal rank