Interaction graphs: additives (Q892169): Difference between revisions

@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing<b>co-NL</b>by a group action
@@ Property / cites work: Characterizing<b>co-NL</b>by a group action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinant theory in finite factors
@@ Property / cites work: Determinant theory in finite factors / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040998
@@ Property / cites work: Q4040998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203017
@@ Property / cites work: Q3203017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783299
@@ Property / cites work: Q4783299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650586
@@ Property / cites work: Q4650586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477354
@@ Property / cites work: Q5477354 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of interaction. V: Logic in the hyperfinite factor
+Normal rank
@@ Property / cites work @@
+Normativity in Logic
@@ Property / cites work: Normativity in Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda-calculus in classical Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Interaction graphs: multiplicatives
@@ Property / cites work: Interaction graphs: multiplicatives / rank @@
+Normal rank