On the Termination Problem for Probabilistic Higher-Order Recursive Programs.

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

Browse the full LICS paper archive.