Light types for polynomial time computation in lambda calculus (Q1004289): 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.ic.2008.08.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1989132974
@@ Property / OpenAlex ID: W1989132974 / 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 @@
+Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic
+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 @@
+Type inference for light affine logic via constraints on words
+Normal rank
@@ Property / cites work @@
+Q2708316
@@ Property / cites work: Q2708316 / rank @@
+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 @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / 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 @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical linear logic of implications
@@ Property / cites work: Classical linear logic of implications / rank @@
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+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 @@
+Q4850553
@@ Property / cites work: Q4850553 / 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 @@
+Q4222777
@@ Property / cites work: Q4222777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778836
@@ Property / cites work: Q2778836 / rank @@
+Normal rank
@@ Property / cites work @@
+Light affine set theory: A naive set theory of polynomial time
+Normal rank
@@ Property / cites work @@
+Light affine lambda calculus and polynomial time strong normalization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1004289