Coherence for sharing proof-nets (Q1398472): Difference between revisions

@@ Property / cites work @@
+Q4327828
@@ Property / cites work: Q4327828 / rank @@
+Normal rank
@@ Property / cites work @@
+(Optimal) duplication is not elementary recursive
@@ Property / cites work: (Optimal) duplication is not elementary recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction Systems I: The theory of optimal reductions
+Normal rank
@@ Property / cites work @@
+Interaction systems II: The practice of optimal reductions
+Normal rank
@@ Property / cites work @@
+Parallel beta reduction is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511323
@@ Property / cites work: Q4511323 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of sharing graphs
@@ Property / cites work: A general theory of sharing graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for sharing proof-nets
@@ Property / cites work: Coherence for sharing proof-nets / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets, garbage, and computations
@@ Property / cites work: Proof nets, garbage, and computations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality and inefficiency
@@ Property / cites work: Optimality and inefficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842974
@@ Property / cites work: Q4842974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank