Q4643962 (Q4643962): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+Normal rank
@@ Property / cites work @@
+Ludics with repetitions (Exponentials, Interactive types and Completeness)
+Normal rank
@@ Property / cites work @@
+On the meaning of logical completeness
@@ Property / cites work: On the meaning of logical completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Imperative programs as proofs via game semantics
@@ Property / cites work: Imperative programs as proofs via game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets and explicit substitutions
@@ Property / cites work: Proof nets and explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411839
@@ Property / cites work: Q4411839 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive observability in Ludics: the geometry of tests
+Normal rank
@@ Property / cites work @@
+Q4411840
@@ Property / cites work: Q4411840 / rank @@
+Normal rank
@@ Property / cites work @@
+Ludics and Natural Language: First Approaches
@@ Property / cites work: Ludics and Natural Language: First Approaches / rank @@
+Normal rank
@@ Property / cites work @@
+Incarnation in Ludics and maximal cliques of paths
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+A linear algorithm for MLL proof net correctness and sequentialization
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Game semantics for first-order logic
@@ Property / cites work: Game semantics for first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5189876
@@ Property / cites work: Q5189876 / rank @@
+Normal rank
@@ Property / cites work @@
+Ludics and Its Applications to Natural Language Semantics
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. III: Focusing proofs.
@@ Property / cites work: Non-commutative logic. III: Focusing proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111203
@@ Property / cites work: Q5111203 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative logic II: sequent calculus and phase semantics
+Normal rank
@@ Property / cites work @@
+Interaction Graphs
@@ Property / cites work: Interaction Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Computational ludics
@@ Property / cites work: Computational ludics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank