A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222)
From MaRDI portal
scientific article; zbMATH DE number 6917241
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Type Theory for Probabilistic and Bayesian Reasoning |
scientific article; zbMATH DE number 6917241 |
Statements
13 August 2018
0 references
probabilistic programming
0 references
probabilistic algorithm
0 references
type theory
0 references
effect module
0 references
Bayesian reasoning
0 references
cs.LO
0 references
math.LO
0 references
math.PR
0 references
A Type Theory for Probabilistic and Bayesian Reasoning (English)
0 references
