Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-76637-7_28
+Normal rank
@@ Property / OpenAlex ID @@
+W1519884010
@@ Property / OpenAlex ID: W1519884010 / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative continuations: An investigation of duality in programming language semantics
+Normal rank
@@ Property / cites work @@
+Completeness of continuation models for \(\lambda_\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4411844
@@ Property / cites work: Q4411844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of classical disjunction
@@ Property / cites work: On the semantics of classical disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu 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
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank