Naoki Kobayashi 0001, Ugo Dal Lago, Charles Grellois. On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Logical Methods in Computer Science, 16(4), 2020. [doi]
@article{KobayashiLG20,
title = {On the Termination Problem for Probabilistic Higher-Order Recursive Programs},
author = {Naoki Kobayashi 0001 and Ugo Dal Lago and Charles Grellois},
year = {2020},
url = {https://lmcs.episciences.org/6817},
researchr = {https://researchr.org/publication/KobayashiLG20},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {16},
number = {4},
}