TY  - RPRT
TI  - On the Termination Problem for Probabilistic Higher-Order Recursive Programs
AU  - Naoki Kobayashi
AU  - Ugo Dal Lago
AU  - Charles Grellois
PY  - 2026
DO  - 10.23638/lmcs-16(4:2)2020
UR  - https://arxiv.org/abs/1811.02133
ID  - 1811.02133
ER  -