Commutative Semantics for Probabilistic Programming (Q2988671): Difference between revisions

@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stan
@@ Property / describes a project that uses: Stan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2595803793
@@ Property / OpenAlex ID: W2595803793 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Categorical Model of Arrows?
@@ Property / cites work: What is a Categorical Model of Arrows? / rank @@
+Normal rank
@@ Property / cites work @@
+Measure Transformer Semantics for Bayesian Machine Learning
+Normal rank
@@ Property / cites work @@
+A lambda-calculus foundation for universal probabilistic programming
+Normal rank
@@ Property / cites work @@
+Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Synthetic topology in Homotopy Type Theory for probabilistic programming
+Normal rank
@@ Property / cites work @@
+Q4265489
@@ Property / cites work: Q4265489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+Representable multicategories
@@ Property / cites work: Representable multicategories / rank @@
+Normal rank
@@ Property / cites work @@
+A Convenient Category for Higher-Order Probability Theory
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+A predicate/state transformer semantics for Bayesian learning
+Normal rank
@@ Property / cites work @@
+Stationary and invariant densities and disintegration kernels
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Poisson Process
@@ Property / cites work: Lectures on the Poisson Process / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Linear usage of state
@@ Property / cites work: Linear usage of state / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Inference by Program Transformation in Hakaru (System Description)
+Normal rank
@@ Property / cites work @@
+A User's Guide to Measure Theoretic Probability
@@ Property / cites work: A User's Guide to Measure Theoretic Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Generic models for computational effects
@@ Property / cites work: Generic models for computational effects / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Exact Bayesian inference by symbolic disintegration
+Normal rank
@@ Property / cites work @@
+Q4040434
@@ Property / cites work: Q4040434 / rank @@
+Normal rank
@@ Property / cites work @@
+Freyd categories are enriched Lawvere theories
@@ Property / cites work: Freyd categories are enriched Lawvere theories / rank @@
+Normal rank
@@ Property / cites work @@
+Universal properties of impure programming languages
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Running Probabilistic Programs Backwards
@@ Property / cites work: Running Probabilistic Programs Backwards / rank @@
+Normal rank