Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. - Andrew Kenyon-Roberts; C.-H. Luke Ong (LICS, 2021)