Linear logic by levels and bounded time complexity (Q1044841): Difference between revisions

@@ 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.tcs.2009.09.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2091581695
@@ Property / OpenAlex ID: W2091581695 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
+Normal rank
@@ Property / cites work @@
+Stratified coherence spaces: A denotational semantics for light linear logic
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Optimizing optimal reduction
@@ Property / cites work: Optimizing optimal reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic and elementary time
@@ Property / cites work: Linear logic and elementary time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical account of pspace
@@ Property / cites work: A logical account of pspace / rank @@
+Normal rank
@@ Property / cites work @@
+A Soft Type Assignment System for λ-Calculus
@@ Property / cites work: A Soft Type Assignment System for λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3548540
@@ Property / cites work: Q3548540 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+An analysis of (linear) exponentials based on extended sequents
+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 @@
+A foundational delineation of poly-time
@@ Property / cites work: A foundational delineation of poly-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative Analysis of Feasibility and Diagonalization
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic and polynomial time
@@ Property / cites work: Linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of safe recursion in light affine logic
+Normal rank
@@ Property / cites work @@
+Q4945245
@@ Property / cites work: Q4945245 / rank @@
+Normal rank
@@ Property / cites work @@
+Light affine set theory: A naive set theory of polynomial time
+Normal rank
@@ Property / cites work @@
+Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
+Normal rank