Robin Adams

A Type Theory for Probabilistic and Bayesian Reasoning

2015 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Contains fulltext : 191731.pdf (Publisher’s version ) (Open Access)