A Type Theory for Probabilistic and Bayesian Reasoning.

Robin Adams Bart Jacobs

Published in: CoRR (2015)

Keyphrases

bayesian reasoning
region matching
probability theory
computational model
imprecise probabilities