A convenient category for higher-order probability theory

  title={A convenient category for higher-order probability theory},
  author={Chris Heunen and Ohad Kammar and Sam Staton and Hongseok Yang},
  journal={2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
Higher-order probabilistic programming languages allow programmers to write sophisticated models in machine learning and statistics in a succinct and structured way, but step outside the standard measure-theoretic formalization of probability theory. Programs may use both higher-order functions and continuous distributions, or even define a probability distribution on functions. But standard probability theory does not handle higher-order functions well: the category of measurable spaces is not… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 24 times over the past 90 days. VIEW TWEETS

Similar Papers

Loading similar papers…