TY  - RPRT
TI  - Light Logics and Higher-Order Processes
AU  - Ugo Dal Lago
AU  - Simone Martini
AU  - Davide Sangiorgi
PY  - 2010
DO  - 10.1017/s0960129514000310
UR  - https://arxiv.org/abs/1011.6431
ID  - 1011.6431
ER  -