An insertion operator preserving infinite reduction sequences (Q3520149): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Combining algebraic rewriting, extensional lambda calculi, and fixpoints
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Isomorphisms of simple inductive types through extensional rewriting
+Normal rank
@@ Property / cites work @@
+On the union of well-founded relations
@@ Property / cites work: On the union of well-founded relations / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3520149