Program equivalence in linear contexts (Q2346993): Difference between revisions

@@ Property / author @@
+Yu-xin Deng
@@ Property / author: Yu-xin Deng / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2129096339
@@ Property / OpenAlex ID: W2129096339 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2872
@@ Property / arXiv ID: 1106.2872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Program equivalence in a linear functional language
+Normal rank
@@ Property / cites work @@
+Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of bisimilarity for contextual equivalence in linear theories
+Normal rank
@@ Property / cites work @@
+Local rely-guarantee reasoning
@@ Property / cites work: Local rely-guarantee reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations for monadic types
@@ Property / cites work: Logical relations for monadic types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2712583
@@ Property / cites work: Q2712583 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and non-size-increasing polynomial time computation.
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for a higher-order functional language with nondeterministic computation
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Game-Based Security Proofs
@@ Property / cites work: A Calculus for Game-Based Security Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and the typed λ-calculus
@@ Property / cites work: Logical relations and the typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Marriage of Rely/Guarantee and Separation Logic
@@ Property / cites work: A Marriage of Rely/Guarantee and Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On regions and linear types (extended abstract)
@@ Property / cites work: On regions and linear types (extended abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank
@@ Property / cites work @@
+Linearity and bisimulation
@@ Property / cites work: Linearity and bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+The computational SLR: a logic for reasoning about computational indistinguishability
+Normal rank