TY  - RPRT
TI  - Proof nets and the call-by-value lambda-calculus
AU  - Beniamino Accattoli
PY  - 2013
DO  - 10.4204/eptcs.113.5
UR  - https://arxiv.org/abs/1303.7326
ID  - 1303.7326
ER  -