The beta-Bernoulli process and algebraic effects

DOI10.4230/LIPICS.ICALP.2018.141zbMATH Open1499.68068MaRDI 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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)