TY  - RPRT
TI  - Call-by-value non-determinism in a linear logic type discipline
AU  - Alejandro Díaz-Caro
AU  - Giulio Manzonetto
AU  - Michele Pagani
PY  - 2013
DO  - 10.1007/978-3-642-35722-0_12
UR  - https://arxiv.org/abs/1312.4507
ID  - 1312.4507
ER  -