(Optimal) duplication is not elementary recursive (Q1881231): Difference between revisions

@@ Property / cites work @@
+On the dynamics of sharing graphs
@@ Property / cites work: On the dynamics of sharing graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel beta reduction is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936120
@@ Property / cites work: Q4936120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327828
@@ Property / cites work: Q4327828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778817
@@ Property / cites work: Q2778817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457451
@@ Property / cites work: Q4457451 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On global dynamics of optimal graph reduction
@@ Property / cites work: On global dynamics of optimal graph reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality and inefficiency
@@ Property / cites work: Optimality and inefficiency / rank @@
+Normal rank
@@ Property / cites work @@
+A simple proof of a theorem of Statman
@@ Property / cites work: A simple proof of a theorem of Statman / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133967
@@ Property / cites work: Q4133967 / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank