TY  - RPRT
TI  - Open Call-by-Value (Extended Version)
AU  - Beniamino Accattoli
AU  - Giulio Guerrieri
PY  - 2016
UR  - https://arxiv.org/abs/1609.00322
ID  - 1609.00322
ER  -