Light logics and optimal reduction: completeness and complexity (Q627123): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2010.10.002
@@ Property / DOI: 10.1016/j.ic.2010.10.002 / rank @@
-Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936120
@@ Property / cites work: Q4936120 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing optimal reduction
@@ Property / cites work: Optimizing optimal reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681363
@@ Property / cites work: Q4681363 / 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 @@
+Light types for polynomial time computation in lambda calculus
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753690
@@ Property / cites work: Q2753690 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+PELCR
@@ Property / cites work: PELCR / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality and inefficiency
@@ Property / cites work: Optimality and inefficiency / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel beta reduction is not elementary recursive
+Normal rank
@@ Property / cites work @@
+(Optimal) duplication is not elementary recursive
@@ Property / cites work: (Optimal) duplication is not elementary recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible, irreversible and optimal \(\lambda\)-machines
+Normal rank
@@ Property / cites work @@
+Q4415239
@@ Property / cites work: Q4415239 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of sharing graphs
@@ Property / cites work: A general theory of sharing graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for sharing proof-nets
@@ Property / cites work: Coherence for sharing proof-nets / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+On light logics, uniform encodings and polynomial time
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708316
@@ Property / cites work: Q2708316 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2010.10.002
@@ Property / DOI: 10.1016/J.IC.2010.10.002 / rank @@
+Normal rank