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 6 items.
- Syntax and operational semantics of a probabilistic programming language with scopes (Q334454) (← links)
- Modelling contextuality by probabilistic programs with hypergraph semantics (Q1628574) (← links)
- 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)