Representation of partial traces (Q5971391): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2217621790
@@ Property / OpenAlex ID: W2217621790 / rank @@
+Normal rank
@@ 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