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