TY  - RPRT
TI  - Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
AU  - Tomasz Drab
PY  - 2024
UR  - https://arxiv.org/abs/2405.12586
ID  - 2405.12586
ER  -