TY  - RPRT
TI  - Light Logics and the Call-by-Value Lambda Calculus
AU  - Paolo Coppola
AU  - Ugo Dal Lago
AU  - Simona Ronchi Della Rocca
PY  - 2008
DO  - 10.2168/lmcs-4(4:5)2008
UR  - https://arxiv.org/abs/0809.0195
ID  - 0809.0195
ER  -