The following pages link to (Q5079740):
Displaying 7 items.
- Towards a structural proof theory of probabilistic \(\mu\)-calculi (Q2289094) (← links)
- Probabilistic approach to the lambda definability for fourth order types (Q2851692) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5089028) (← links)
- The Benefit of Being Non-Lazy in Probabilistic λ-calculus (Q5145645) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)