An approach to innocent strategies as graphs (Q418201): Difference between revisions

@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849886
@@ Property / cites work: Q2849886 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous games. II: The true concurrency of innocence
+Normal rank
@@ Property / cites work @@
+Asynchronous Games: Innocence Without Alternation
@@ Property / cites work: Asynchronous Games: Innocence Without Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+Q4411840
@@ Property / cites work: Q4411840 / rank @@
+Normal rank
@@ Property / cites work @@
+Ludics with repetitions (Exponentials, Interactive types and Completeness)
+Normal rank
@@ Property / cites work @@
+Abstract Böhm trees
@@ Property / cites work: Abstract Böhm trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5062636
@@ Property / cites work: Q5062636 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+Partial Orders, Event Structures and Linear Strategies
+Normal rank
@@ Property / cites work @@
+Jump from Parallel to Sequential Proofs: Multiplicatives
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Focussing and proof construction
@@ Property / cites work: Focussing and proof construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752054
@@ Property / cites work: Q2752054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263837
@@ Property / cites work: Q4263837 / rank @@
+Normal rank
@@ Property / cites work @@
+The Blind Spot
@@ Property / cites work: The Blind Spot / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411839
@@ Property / cites work: Q4411839 / rank @@
+Normal rank
@@ Property / cites work @@
+Ludics is a Model for the Finitary Linear Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809081
@@ Property / cites work: Q4809081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Dual-intuitionistic Nets
@@ Property / cites work: Intuitionistic Dual-intuitionistic Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets sequentialisation in multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+On the meaning of logical completeness
@@ Property / cites work: On the meaning of logical completeness / rank @@
+Normal rank