Control reduction theories: the benefit of structural substitution (Q3503192): Difference between revisions

@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic foundation of abortive continuations
+Normal rank
@@ Property / cites work @@
+Trampolined style
@@ Property / cites work: Trampolined style / rank @@
+Normal rank