M. Avanzini, U. D. Lago, and A. Yamada, On Probabilistic Term Rewriting, Proc. of 14 th FLOPS, vol.10818, pp.132-148, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01926502

G. Barthe, B. Grégoire, J. Hsu, and P. Strub, Coupling proofs are probabilistic product programs, In ACM SIGPLAN Notices, vol.52, pp.161-174, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01649028

U. Dal-lago and C. Grellois, Probabilistic Termination by Monadic Affine Sized Typing, Proc. of 26 th ESOP, pp.393-419, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01635077

D. Lago and B. Petit, Linear Dependent Types in a Call-by-value Scenario, Proc. of 12 th PPDP, pp.115-126, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909317