Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739): Difference between revisions

@@ Property / cites work @@
+Applicative Bisimulations for Delimited-Control Operators
+Normal rank
@@ Property / cites work @@
+λμ-calculus and Böhm's theorem
@@ Property / cites work: λμ-calculus and Böhm's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+From Applicative to Environmental Bisimulation
@@ Property / cites work: From Applicative to Environmental Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261091
@@ Property / cites work: Q4261091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete, co-inductive syntactic theory of sequential control and state
+Normal rank