The beta-Bernoulli process and algebraic effects

DOI10.4230/LIPICS.ICALP.2018.141zbMATH Open1499.68068arXiv1802.09598MaRDI QIDQ5002829FDOQ5002829

Authors: Sam Staton, Dario Stein, Hongseok Yang, Daniel M. Roy, Nathanael Ackerman, Cameron E. Freer 

Publication date: 28 July 2021

Full work available at URL: https://arxiv.org/abs/1802.09598

Recommendations

• Beta processes, stick-breaking and power laws
• The geometry of Bayesian programming
• An algebraic theory of Markov processes
• Instances of computational effects: an algebraic perspective
• Bayesian strategies: probabilistic programs as generalised graphical models

zbMATH Keywords

exchangeabilityalgebraic effectsprobabilistic programmingbeta-Bernoulli process

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Exchangeability for stochastic processes (60G09) Abstract data types; algebraic specification (68Q65)

Cites Work

• Hierarchical Dirichlet Processes
• Title not available (Why is that?)
• Algebraic operations and generic effects
• Normalization by evaluation and algebraic effects
• Algebraic foundations for effect-dependent optimisations
• Polynomials that are positive on an interval
• Title not available (Why is that?)
• An Algebraic Presentation of Predicate Logic
• Instances of Computational Effects: An Algebraic Perspective
• Theory of statistics
• Monads on symmetric monoidal closed categories
• Semantics of probabilistic programs
• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• On the quasivariety on convex subsets of affine spaces
• Title not available (Why is that?)
• Postulates for the barycentric calculus
• Commutative monads as a theory of distributions
• From probability monads to commutative effectuses
• Step-Indexed Logical Relations for Probability
• Environmental bisimulations for probabilistic higher-order languages

Cited In (3)

• A complete equational axiomatisation of partial differentiation
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• A generalization of hierarchical exchangeability on trees to directed acyclic graphs

Uses Software

• Venture

This page was built for publication: The beta-Bernoulli process and algebraic effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5002829)