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 KEY WORDS AND PHRASES semantics, recursive programs schemes, rewriting
No takes yet. Share an insight, caveat, or question.
Berry et al. (1979) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: