A syntax for linear logic (Q5890063): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58027-1_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1563480347
@@ Property / OpenAlex ID: W1563480347 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282570
@@ Property / cites work: Q4282570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5890063