TY  - RPRT
TI  - Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
AU  - Fabian Kunze
AU  - Gert Smolka
AU  - Yannick Forster
PY  - 2019
DO  - 10.1007/978-3-030-02768-1_15
UR  - https://arxiv.org/abs/1806.03205
ID  - 1806.03205
ER  -