Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Manfred Schmidt-Schauß, David Sabel, Elena Machkasova. Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Inf. Process. Lett., 111(14):711-716, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and CaseManfred Schmidt-Schauß, Elena Machkasova. RTA 2008: 321-335 [doi] Simulation in the Call-by-Need Lambda-Calculus with letrecManfred Schmidt-Schauß, David Sabel, Elena Machkasova. RTA 2010: 295-310 [doi] Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculiMatthias Mann, Manfred Schmidt-Schauß. iandc, 208(3):276-291, 2010. [doi] A Non-Deterministic Call-by-Need Lambda CalculusArne Kutzner, Manfred Schmidt-Schauß. ICFP 1998: 324-335 [doi] Correctness of Copy in Calculi with LetrecManfred Schmidt-Schauß. RTA 2007: 329-343 [doi]
The following publications are possibly variants of this publication: