Refine
Year of publication
- 2009 (1) (remove)
Keywords
- Formale Semantik (1)
- Kontextuelle Gleichheit (1)
- Lambda-Kalkül (1)
- Nichtdeterminismus (1)
- contextual equivalence (1)
- non-determinism (1)
- semantics (1)
-
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
(2009)
- This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis. It also shown that there is a flaw in a lemma and a theorem concerning finite simulation in a conference paper by the first two authors.
