A type theory for probability density functions
From MaRDI portal
Publication:2942901
Recommendations
- Deriving probability density functions from probabilistic functional programs
- Deriving probability density functions from probabilistic functional programs
- Deriving a probability density calculator (functional pearl)
- A type theory for probabilistic and Bayesian reasoning
- An application of computable distributions to the semantics of probabilistic programming languages
Cited in
(11)- Synthetic topology in Homotopy Type Theory for probabilistic programming
- Deriving probability density functions from probabilistic functional programs
- A Type Theory for Probabilistic $$\lambda $$–calculus
- Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
- Deriving probability density functions from probabilistic functional programs
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
- Fabular: regression formulas as probabilistic programming
- Does a Program Yield the Right Distribution?
- Statistical properties of simple types
- scientific article; zbMATH DE number 7444845 (Why is no real title available?)
- Towards probabilistic reasoning in type theory -- the intersection type case
This page was built for publication: A type theory for probability density functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942901)