On Probabilistic Term Rewriting, Proc. of 14 th FLOPS, vol.10818, pp.132-148, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01926502
Coupling proofs are probabilistic product programs, In ACM SIGPLAN Notices, vol.52, pp.161-174, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01649028
Probabilistic Termination by Monadic Affine Sized Typing, Proc. of 26 th ESOP, pp.393-419, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01635077
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