Pages that link to "Item:Q2250553"
From MaRDI portal
The following pages link to Stochastic \(\lambda\)-calculi: an extended abstract (Q2250553):
Displaying 7 items.
- PSEUDO: applications of streams and lazy evaluation to integrable models (Q709591) (← links)
- A monad for randomized algorithms (Q1744376) (← links)
- On randomised strategies in the \(\lambda \)-calculus (Q1989325) (← links)
- Domains and stochastic processes (Q2286750) (← links)
- Stochastic Pi-calculus Revisited (Q2851897) (← links)
- (Q5875427) (← links)
- Conditioning in probabilistic programming (Q5971400) (← links)