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

@@ Property / DOI @@
-.1016/j.entcs.2014.10.004
@@ Property / DOI: 10.1016/j.entcs.2014.10.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6580851
@@ Property / zbMATH DE Number: 6580851 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+contextual equivalence
@@ Property / zbMATH Keywords: contextual equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+applicative bisimulation
@@ Property / zbMATH Keywords: applicative bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+continuation
@@ Property / zbMATH Keywords: continuation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+control operator
@@ Property / zbMATH Keywords: control operator / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2014.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2122794371
@@ Property / OpenAlex ID: W2122794371 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317852
@@ Property / Wikidata QID: Q113317852 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2014.10.004
@@ Property / DOI: 10.1016/J.ENTCS.2014.10.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:283739