Proofs as Polynomials (Q5415631): Difference between revisions

@@ Property / author @@
-Philip J. Scott
@@ Property / author: Philip J. Scott / rank @@
-Normal rank
@@ Property / author @@
+Philip J. Scott
@@ Property / author: Philip J. Scott / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2124058279
@@ Property / OpenAlex ID: W2124058279 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Nuclear and trace ideals in tensored \(^*\)-categories
+Normal rank
@@ 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 @@
+Feedback for linearly distributive categories: Traces and fixpoints
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / 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 @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+A categorical model for the geometry of interaction
+Normal rank
@@ Property / cites work @@
+Q2849878
@@ Property / cites work: Q2849878 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed GoI for Exponentials
@@ Property / cites work: Typed GoI for Exponentials / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank