On Higher-Order Probabilistic Subrecursion.

Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

Browse the full FOSSACS paper archive.