Towards a theory of resource: an approach based on soft exponentials (Q3647264): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.17.63-89
+Normal rank
@@ Property / OpenAlex ID @@
+W2049861791
@@ Property / OpenAlex ID: W2049861791 / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics and decidability of elementary affine logic
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Soft Linear Logic and Spatio-temporal Operators
+Normal rank
@@ Property / cites work @@
+Linear and affine logics with temporal, spatial and epistemic operators
+Normal rank
@@ Property / cites work @@
+Phase semantics for light linear logic
@@ Property / cites work: Phase semantics for light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank