Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119): Difference between revisions

@@ 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.ipl.2011.04.011
+Normal rank
@@ Property / OpenAlex ID @@
+W1967442686
@@ Property / OpenAlex ID: W1967442686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204055
@@ Property / cites work: Q3204055 / rank @@
+Normal rank
@@ Property / cites work @@
+Amb Breaks Well-Pointedness, Ground Amb Doesn't
@@ Property / cites work: Amb Breaks Well-Pointedness, Ground Amb Doesn't / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848130
@@ Property / cites work: Q2848130 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
+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 @@
+Erratic Fudgets: A semantic theory for an embedded coordination language
+Normal rank
@@ Property / cites work @@
+The expressive power of indeterminate primitives in asynchronous computation
+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 @@
+A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
+Normal rank
@@ Property / cites work @@
+On generic context lemmas for higher-order calculi with sharing
+Normal rank
@@ Property / cites work @@
+Simulation in the call-by-need lambda-calculus with letrec
+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
@@ Property / Wikidata QID @@
+Q124810604
@@ Property / Wikidata QID: Q124810604 / rank @@
+Normal rank