From Applicative to Environmental Bisimulation (Q5739359): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2011.09.023
@@ Property / DOI: 10.1016/j.entcs.2011.09.023 / rank @@
-Normal rank
@@ Property / cites work @@
+Exceptional syntax
@@ Property / cites work: Exceptional syntax / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for Aspects
@@ Property / cites work: Open Bisimulation for Aspects / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for a fragment of concurrent ML with local names
+Normal rank
@@ Property / cites work @@
+Small bisimulations for reasoning about higher-order imperative programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Typed Normal Form Bisimulation
@@ Property / cites work: Typed Normal Form Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+Normal rank
@@ Property / cites work @@
+A bisimulation for dynamic sealing
@@ Property / cites work: A bisimulation for dynamic sealing / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for dynamic sealing
@@ Property / cites work: A bisimulation for dynamic sealing / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Untyped lambda-calculus with input-output
@@ Property / cites work: Untyped lambda-calculus with input-output / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2011.09.023
@@ Property / DOI: 10.1016/J.ENTCS.2011.09.023 / rank @@
+Normal rank