TY  - RPRT
TI  - Light Logics and Optimal Reduction: Completeness and Complexity
AU  - Patrick Baillot
AU  - Paolo Coppola
AU  - Ugo Dal Lago
PY  - 2007
UR  - https://arxiv.org/abs/0704.2448
ID  - 0704.2448
ER  -