The beta-Bernoulli process and algebraic effects

DOI10.4230/LIPICS.ICALP.2018.141MaRDI QIDQ5002829zbMATH OpenFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1852853 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• Algebraic foundations for effect-dependent optimisations
• Algebraic operations and generic effects
• An algebraic presentation of predicate logic (extended abstract)
• Commutative monads as a theory of distributions
• Environmental bisimulations for probabilistic higher-order languages
• From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
• From probability monads to commutative effectuses
• Hierarchical Dirichlet Processes
• Instances of computational effects: an algebraic perspective
• Monads on symmetric monoidal closed categories
• Normalization by evaluation and algebraic effects
• On the quasivariety on convex subsets of affine spaces
• Polynomials that are positive on an interval
• Postulates for the barycentric calculus
• Semantics of probabilistic programs
• Step-indexed logical relations for probability
• Theory of statistics

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

Describes a project that uses

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)