TY  - RPRT
TI  - Strong Call-by-Value is Reasonable, Implosively
AU  - Beniamino Accattoli
AU  - Andrea Condoluci
AU  - Claudio Sacerdoti Coen
PY  - 2021
UR  - https://arxiv.org/abs/2102.06928
ID  - 2102.06928
ER  -