@misc{indiciae6528160ef63a,
  title = {Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction},
  author = {Tomasz Drab},
  year = {2024},
  url = {https://arxiv.org/abs/2405.12586},
  note = {Source identifier: 2405.12586}
}