A Finite Simulation Method in a Non-Deterministic Call-by-Need Calculus with letrec, constructors and case (2008)

by Manfred Schmidt-schauss , Elena Machkasova