Pages that link to "Item:Q5150945"
From MaRDI portal
The following pages link to Semantics of Probabilistic Programming: A Gentle Introduction (Q5150945):
Displaying 7 items.
- Learning probabilistic termination proofs (Q832245) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Continualization of Probabilistic Programs With Correction (Q5041102) (← links)
- Probabilistic programming inference via intensional semantics (Q6070788) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)