The Power of Closed Reduction Strategies (Q2866800): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Linear Functions
@@ Property / cites work: The Power of Linear Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory weak reduction in lambda calculus
@@ Property / cites work: Combinatory weak reduction in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945227
@@ Property / cites work: Q4945227 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed reduction: explicit substitutions without                       $\alpha$                   -conversion
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / 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 @@
+An internal language for autonomous categories
@@ Property / cites work: An internal language for autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q3819991
@@ Property / cites work: Q3819991 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of terminating membership conditional TRS
+Normal rank