@misc{indiciae3970a3e9ef26,
  title = {Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space},
  author = {Pablo Nogueira and Álvaro García-Pérez},
  year = {2024},
  doi = {10.46298/lmcs-20(4:24)2024},
  url = {https://arxiv.org/abs/2212.02494},
  note = {Source identifier: 2212.02494}
}