Representation of partial traces (Q5971391): Difference between revisions

@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+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 @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Paracategories. I: Internal paracategories and saturated partial algebras
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially traced categories
@@ Property / cites work: Partially traced categories / rank @@
+Normal rank