Light affine lambda calculus and polynomial time strong normalization (Q877259): Difference between revisions

@@ Property / cites work @@
+Q4936120
@@ Property / cites work: Q4936120 / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified coherence spaces: A denotational semantics for light linear logic
+Normal rank
@@ Property / cites work @@
+Light types for polynomial time computation in lambda calculus
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Higher type recursion, ramification and polynomial time
+Normal rank
@@ Property / cites work @@
+Linear logic and elementary time
@@ Property / cites work: Linear logic and elementary time / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+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 @@
+Phase semantics for light linear logic
@@ Property / cites work: Phase semantics for light linear logic / 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 @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753690
@@ Property / cites work: Q2753690 / 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 LOGIC AS A PROGRAMMING LANGUAGE: A FIRST CONTRIBUTION
+Normal rank
@@ Property / cites work @@
+Light affine set theory: A naive set theory of polynomial time
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank