scientific article; zbMATH DE number 7376068

DOI10.4230/LIPIcs.ICALP.2018.141zbMath1499.68068arXiv1802.09598MaRDI QIDQ5002829

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

Publication date: 28 July 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exchangeabilityprobabilistic programmingalgebraic effectsbeta-Bernoulli process

Mathematics Subject Classification ID

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

Related Items (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

Cites Work

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

This page was built for publication: