Probabilistic Termination by Monadic Affine Sized Typing.

Ugo Dal Lago, Charles Grellois

Browse the full ESOP paper archive.