Pages that link to "Item:Q2988648"
From MaRDI portal
The following pages link to Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648):
Displaying 4 items.
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
