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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87531-4_35
+Normal rank
@@ Property / OpenAlex ID @@
+W1602651206
@@ Property / OpenAlex ID: W1602651206 / 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:3540199