On generic context lemmas for higher-order calculi with sharing (Q960863): Difference between revisions

@@ Property / author @@
-Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
-Normal rank
@@ Property / author @@
+Manfred Schmidt-Schauss
@@ Property / author: Manfred Schmidt-Schauss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fudgets
@@ Property / describes a project that uses: Fudgets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2009.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2051507754
@@ Property / OpenAlex ID: W2051507754 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124828671
@@ Property / Wikidata QID: Q124828671 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222931
@@ Property / cites work: Q4222931 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank
@@ Property / cites work @@
+Q2703747
@@ Property / cites work: Q2703747 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal foundations of operational semantics
@@ Property / cites work: Formal foundations of operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Q3204055
@@ Property / cites work: Q3204055 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Full Abstraction and the Context Lemma
@@ Property / cites work: Full Abstraction and the Context Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic call-by-need lambda calculus
@@ Property / cites work: A non-deterministic call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848130
@@ Property / cites work: Q2848130 / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+From operational semantics to domain theory
@@ Property / cites work: From operational semantics to domain theory / rank @@
+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 @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Erratic Fudgets: A semantic theory for an embedded coordination language
+Normal rank
@@ Property / cites work @@
+Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
+Normal rank
@@ Property / cites work @@
+A concurrent lambda calculus with futures
@@ Property / cites work: A concurrent lambda calculus with futures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of Copy in Calculi with Letrec
@@ Property / cites work: Correctness of Copy in Calculi with Letrec / rank @@
+Normal rank
@@ Property / cites work @@
+Observational program calculi and the correctness of translations
+Normal rank
@@ Property / cites work @@
+Safety of Nöcker's strictness analysis
@@ Property / cites work: Safety of Nöcker's strictness analysis / rank @@
+Normal rank