A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027): Difference between revisions

@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+Lambda calculus with explicit recursion
@@ Property / cites work: Lambda calculus with explicit recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Q3204055
@@ Property / cites work: Q3204055 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+A non-deterministic call-by-need lambda calculus
@@ Property / cites work: A non-deterministic call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
+Normal rank
@@ Property / cites work @@
+Q4518885
@@ Property / cites work: Q4518885 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
+Normal rank
@@ Property / cites work @@
+A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
+Normal rank
@@ Property / cites work @@
+Safety of Nöcker's strictness analysis
@@ Property / cites work: Safety of Nöcker's strictness analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447225
@@ Property / cites work: Q4447225 / rank @@
+Normal rank