Transcendental syntax I: deterministic case (Q5269009): Difference between revisions

@@ Property / cites work @@
+Logic Programming and Logarithmic Space
@@ Property / cites work: Logic Programming and Logarithmic Space / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of interaction. V: Logic in the hyperfinite factor
+Normal rank
@@ Property / cites work @@
+The Blind Spot
@@ Property / cites work: The Blind Spot / rank @@
+Normal rank
@@ Property / cites work @@
+Normativity in Logic
@@ Property / cites work: Normativity in Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of linear logic proof structures is NL-complete
+Normal rank