Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space | Publicación