Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
scientific article; zbMATH DE number 6150427
scientific article