Higher-order interpretations and program complexity (Q276254): 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.2015.12.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1508002867
@@ Property / OpenAlex ID: W1508002867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681361
@@ Property / cites work: Q4681361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447246
@@ Property / cites work: Q4447246 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing the complexity of functional programs: higher-order meets first-order
+Normal rank
@@ Property / cites work @@
+A Combination Framework for Complexity
@@ Property / cites work: A Combination Framework for Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A PolyTime Functional Language from Light Linear Logic
+Normal rank
@@ Property / cites work @@
+Higher-Order Interpretations and Program Complexity
+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 @@
+Algorithms with polynomial interpretation termination proof
+Normal rank
@@ Property / cites work @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475109
@@ Property / cites work: Q4475109 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-interpretation Synthesis by Decomposition
@@ Property / cites work: Quasi-interpretation Synthesis by Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability models and implicit complexity
@@ Property / cites work: Realizability models and implicit complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Derivational Complexity Is an Invariant Cost Model
+Normal rank
@@ Property / cites work @@
+On Constructor Rewrite Systems and the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Interpretations for Higher-Order Rewriting
+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 @@
+Q4218937
@@ Property / cites work: Q4218937 / 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 @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281479
@@ Property / cites work: Q4281479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767004
@@ Property / cites work: Q2767004 / rank @@
+Normal rank
@@ Property / cites work @@
+The Derivational Complexity Induced by the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Q3127078
@@ Property / cites work: Q3127078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778888
@@ Property / cites work: Q2778888 / rank @@
+Normal rank