Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682): Difference between revisions

@@ Property / cites work @@
+A calculus of module systems
@@ Property / cites work: A calculus of module systems / rank @@
+Normal rank
@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with explicit recursion
@@ Property / cites work: Lambda calculus with explicit recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q2851704
@@ Property / cites work: Q2851704 / 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 @@
+Q4447225
@@ Property / cites work: Q4447225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518890
@@ Property / cites work: Q4518890 / rank @@
+Normal rank