TY  - RPRT
TI  - Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
AU  - Paolo Coppola
AU  - Simone Martini
PY  - 2003
UR  - https://arxiv.org/abs/cs/0305011
ID  - cs/0305011
ER  -