TY  - RPRT
TI  - Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
AU  - Dániel Horpácsi
AU  - Péter Bereczky
AU  - Simon Thompson
PY  - 2022
UR  - https://arxiv.org/abs/2208.14260
ID  - 2208.14260
ER  -