TY  - RPRT
TI  - Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
AU  - Claudia Faggian
AU  - Giulio Guerrieri
PY  - 2021
UR  - https://arxiv.org/abs/2101.08364
ID  - 2101.08364
ER  -