Proof nets, garbage, and computations (Q1589650): Difference between revisions

@@ Property / author @@
+Stefano Guerrini
@@ Property / author: Stefano Guerrini / rank @@
+Normal rank
@@ Property / author @@
+Simone Martini
@@ Property / author: Simone Martini / rank @@
+Normal rank
@@ Property / author @@
+Andrea Masini
@@ Property / author: Andrea Masini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / 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 @@
+Interaction systems II: The practice of optimal reductions
+Normal rank
@@ Property / cites work @@
+Sequent reconstruction in LLM -- A sweepline proof
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / 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 @@
+Parsing MELL proof nets
@@ Property / cites work: Parsing MELL proof nets / 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 @@
+Q3024907
@@ Property / cites work: Q3024907 / 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 @@
+Q4953356
@@ Property / cites work: Q4953356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842974
@@ Property / cites work: Q4842974 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value, call-by-need and the linear lambda calculus
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank