TY  - UNPD
A1  - Schmidt-Schauß, Manfred
A1  - Machkasova, Elena
A1  - Sabel, David
T1  - Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 38
N2  - 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.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 38 
KW  - Formale Semantik
KW  - Lambda-Kalkül
KW  - Nichtdeterminismus
KW  - Kontextuelle Gleichheit
KW  - semantics
KW  - contextual equivalence
KW  - non-determinism
Y1  - 2009
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7827
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-77868
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/schauss/simcounter-IB38.pdf
SP  - 1
EP  - 10
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt [am Main]
ER  -