Q5079745 (Q5079745): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Classical Call-by-Need and Duality
@@ Property / cites work: Classical Call-by-Need and Duality / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Duality of Construction
@@ Property / cites work: The Duality of Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Jumbo λ-Calculus
@@ Property / cites work: Jumbo λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of a Non-associative Composition
@@ Property / cites work: Models of a Non-associative Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Polarised Intermediate Representation of Lambda Calculus with Sums
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank