A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758): Difference between revisions

@@ Property / OpenAlex ID @@
+W1763375386
@@ Property / OpenAlex ID: W1763375386 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1335
@@ Property / arXiv ID: 1011.1335 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization without reducibility
@@ Property / cites work: Normalization without reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-Value  -calculus and LJQ
@@ Property / cites work: Call-by-Value -calculus and LJQ / rank @@
+Normal rank
@@ Property / cites work @@
+Postponement, conservation and preservation of strong normalization for generalized reduction
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+A Terminating and Confluent Linear Lambda Calculus
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Delayed Substitutions
@@ Property / cites work: Delayed Substitutions / rank @@
+Normal rank