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

@@ 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