Search

• < Previous
• 1
• Next >

On Higher-Order Probabilistic Subrecursion

We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice operators may result in calculi which are not equivalent as for&nbsp;[&hellip;]