Applicative Bisimulation and Quantum λ-Calculi (Q3455863): Difference between revisions

@@ Property / cites work @@
+Program equivalence in a linear functional language
+Normal rank
@@ Property / cites work @@
+Completeness of bisimilarity for contextual equivalence in linear theories
+Normal rank
@@ Property / cites work @@
+On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
+Normal rank
@@ Property / cites work @@
+Applicative Bisimulation and Quantum λ-Calculi
@@ Property / cites work: Applicative Bisimulation and Quantum λ-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Coalgebraic Walks, in Quantum and Turing Computation
+Normal rank
@@ Property / cites work @@
+From Applicative to Environmental Bisimulation
@@ Property / cites work: From Applicative to Environmental Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222925
@@ Property / cites work: Q4222925 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On a Fully Abstract Model for a Quantum Linear Functional Language
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank