Pages that link to "Item:Q5178903"
From MaRDI portal
The following pages link to Stochastic lambda calculus and monads of probability distributions (Q5178903):
Displayed 11 items.
- Computable de Finetti measures (Q764273) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Formal security proofs with minimal fuss: implicit computational complexity at work (Q2343128) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- Computable Exchangeable Sequences Have Computable de Finetti Measures (Q3576054) (← links)
- The Computational SLR: A Logic for Reasoning about Computational Indistinguishability (Q3637209) (← links)
- A Calculus for Game-Based Security Proofs (Q4933210) (← links)
- Measure Transformer Semantics for Bayesian Machine Learning (Q5892490) (← links)