Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.2001.2947
+Normal rank
@@ Property / OpenAlex ID @@
+W1985736127
@@ Property / OpenAlex ID: W1985736127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218109
@@ Property / cites work: Q4218109 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261086
@@ Property / cites work: Q4261086 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete axiomatisations of call-by-value control operators
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+From control effects to typed continuation passing
+Normal rank