TY  - RPRT
TI  - An Interactive Proof of Termination for a Concurrent $λ$-calculus with References and Explicit Substitutions
AU  - Yann Hamdaoui
AU  - Benoît Valiron
PY  - 2021
UR  - https://arxiv.org/abs/2102.05161
ID  - 2102.05161
ER  -