Login / Signup
A Type Theory for Probabilistic and Bayesian Reasoning.
Robin Adams
Bart Jacobs
Published in:
TYPES (2015)
Keyphrases
</>
bayesian reasoning
probability theory
multiscale
generative model
computational model