Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444): Difference between revisions

@@ Property / cites work @@
+Polarized Subtyping for Sized Types
@@ Property / cites work: Polarized Subtyping for Sized Types / rank @@
+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 @@
+Towards Generic Programming with Sized Types
@@ Property / cites work: Towards Generic Programming with Sized Types / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Normalization and Equi-(Co)Inductive Types
@@ Property / cites work: Strong Normalization and Equi-(Co)Inductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+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 @@
+CIC $\widehat{~}$ : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
+Normal rank
@@ Property / cites work @@
+Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Q2863899
@@ Property / cites work: Q2863899 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Recursive programming with proofs
@@ Property / cites work: Recursive programming with proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+On the Stability by Union of Reducibility Candidates
+Normal rank