Minimal and Optimal Computations of Recursive Programs
Gérard Berry, Jean-Jacques Lévy · Journal of the ACM · 1979
Vufllemm's results on opumal computations of recurswe programs are generalized New syntactic results are obtained by considering spaces of denvauons instead of terms The results apply to classes of mterpretauons more general than the sequential interpretations of Vmllemm