TY  - RPRT
TI  - First-order store and visibility in name-passing calculi
AU  - Daniel Hirschkoff
AU  - Iwan Quémerais
AU  - Davide Sangiorgi
PY  - 2025
UR  - https://arxiv.org/abs/2504.17350
ID  - 2504.17350
ER  -