A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction

Jonathan H. Warrell

We introduce Probabilistic Dependent Type Systems (PDTS) via a functional language based on a subsystem of intuitionistic type theory including dependent sums and products, which i…