Datatype-generic termination proofs (Q1015386): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2036563325
@@ Property / OpenAlex ID: W2036563325 / rank @@
+Normal rank
@@ Property / cites work @@
+Final Dialgebras: From Categories to Allegories
@@ Property / cites work: Final Dialgebras: From Categories to Allegories / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885873
@@ Property / cites work: Q4885873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882541
@@ Property / cites work: Q4882541 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculational approach to mathematical induction
+Normal rank
@@ Property / cites work @@
+Reductivity
@@ Property / cites work: Reductivity / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic values possess polykinded types
@@ Property / cites work: Polytypic values possess polykinded types / rank @@
+Normal rank
@@ Property / cites work @@
+Type-indexed data types
@@ Property / cites work: Type-indexed data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740201
@@ Property / cites work: Q3740201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838013
@@ Property / cites work: Q3838013 / rank @@
+Normal rank
@@ Property / cites work @@
+Container types categorically
@@ Property / cites work: Container types categorically / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic unification
@@ Property / cites work: Polytypic unification / rank @@
+Normal rank
@@ Property / cites work @@
+Dependency-style generic haskell
@@ Property / cites work: Dependency-style generic haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank