Proof nets sequentialisation in multiplicative linear logic (Q952490): Difference between revisions

@@ Property / cites work @@
+Sequent reconstruction in LLM -- A sweepline proof
+Normal rank
@@ Property / cites work @@
+Q4842977
@@ Property / cites work: Q4842977 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to innocent strategies as graphs
@@ Property / cites work: An approach to innocent strategies as graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Jump from Parallel to Sequential Proofs: Multiplicatives
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank