A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction. - Jonathan H. Warrell (CoRR, 2016)