TY  - RPRT
TI  - Interpreting a concurrent $λ$-calculus in differential proof nets (extended version)
AU  - Yann Hamdaoui
PY  - 2021
UR  - https://arxiv.org/abs/2102.05736
ID  - 2102.05736
ER  -