Parallel beta reduction is not elementary recursive (Q1854460): Difference between revisions

@@ Property / DOI @@
-.1006/inco.2001.2869
@@ Property / DOI: 10.1006/inco.2001.2869 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4327828
@@ Property / cites work: Q4327828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Paths, computations and labels in the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709853
@@ Property / cites work: Q3709853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5843849
@@ Property / cites work: Q5843849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimality and inefficiency
@@ Property / cites work: Optimality and inefficiency / rank @@
+Normal rank
@@ Property / cites work @@
+On global dynamics of optimal graph reduction
@@ Property / cites work: On global dynamics of optimal graph reduction / rank @@
+Normal rank
@@ Property / cites work @@
+A simple proof of a theorem of Statman
@@ Property / cites work: A simple proof of a theorem of Statman / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133967
@@ Property / cites work: Q4133967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319642
@@ Property / cites work: Q4319642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322086
@@ Property / cites work: Q3322086 / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2001.2869
@@ Property / DOI: 10.1006/INCO.2001.2869 / rank @@
+Normal rank