Type-Based Termination with Sized Products (Q3540199): Difference between revisions

@@ Property / cites work @@
+Type-based termination of recursive definitions
@@ Property / cites work: Type-based termination of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+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 @@
+Calculating sized types
@@ Property / cites work: Calculating sized types / rank @@
+Normal rank
@@ Property / cites work @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+Normal rank
@@ Property / cites work @@
+Higher-order subtyping
@@ Property / cites work: Higher-order subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Saturated Sets for Disjunction and Second-Order Existential Quantification
+Normal rank
@@ Property / cites work @@
+Dependent types for program termination verification
+Normal rank