TY  - RPRT
TI  - Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
AU  - Ugo Dal Lago
AU  - Charles Grellois
PY  - 2017
UR  - https://arxiv.org/abs/1701.04089
ID  - 1701.04089
ER  -