TY  - RPRT
TI  - An affine-intuitionistic system of types and effects: confluence and termination
AU  - Roberto Amadio
AU  - Patrick Baillot
AU  - Antoine Madet
PY  - 2009
UR  - https://arxiv.org/abs/0912.0419
ID  - 0912.0419
ER  -