A nondeterministic call-by-need lambda calculus (0)

by KSS98 A Kutzner, M Schmidt-Schauß
Venue:In Proc. ICFP 1998, pages 324–335, 1998. Manfred Schmidt-Schauss and Elena Machkasova and