The weak lambda calculus as a reasonable machine (Q930866): Difference between revisions

@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858241
@@ Property / cites work: Q3858241 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational efficacy of finite-field arithmetic
+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 @@
+Parametric parameter passing \(\lambda\)-calculus
@@ Property / cites work: Parametric parameter passing \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank