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

### Cached

### Download Links

by
Manfred Schmidt-schauss
,
Elena Machkasova