TY  - RPRT
TI  - Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)
AU  - Andrea Asperti
AU  - Luca Roversi
PY  - 2000
UR  - https://arxiv.org/abs/cs/0006010
ID  - cs/0006010
ER  -