TY  - RPRT
TI  - Normal Form Bisimulations By Value
AU  - Beniamino Accattoli
AU  - Adrienne Lancelot
AU  - Claudia Faggian
PY  - 2023
UR  - https://arxiv.org/abs/2303.08161
ID  - 2303.08161
ER  -