Pages that link to "Item:Q2988671"

The following pages link to Commutative Semantics for Probabilistic Programming (Q2988671):

Displaying 9 items.

• On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
• A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
• Borel kernels and their approximation, categorically (Q2134827) (← links)
• Graded Hoare logic and its categorical semantics (Q2233460) (← links)
• Correctness of sequential Monte Carlo inference for probabilistic programming languages (Q2233471) (← links)
• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere (Q2233472) (← links)
• Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
• (Q5111636) (← links)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)