Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293): Difference between revisions

@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089020
@@ Property / cites work: Q5089020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value, call-by-need and the linear lambda calculus
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Call-By-Push-Value from a Linear Logic Point of View
+Normal rank
@@ Property / cites work @@
+Q5018484
@@ Property / cites work: Q5018484 / rank @@
+Normal rank
@@ Property / cites work @@
+The bang calculus revisited
@@ Property / cites work: The bang calculus revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization in call-by-name and call-by-value calculi via linear logic
+Normal rank