111 citations · 528 across the 50 of their papers we have counts for
1 paper · 2 filters
Alejandro Aguirre, Gilles Barthe, Justin Hsu +1
We define Almost Sure Productivity (ASP), a probabilistic generalization of the productivity condition for coinductively defined structures. Intuitively, a probabilistic coinductiv…