TY  - RPRT
TI  - Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
AU  - Andrew Kenyon-Roberts
AU  - Luke Ong
PY  - 2021
UR  - https://arxiv.org/abs/2102.11164
ID  - 2102.11164
ER  -