A Formalized Hierarchy of Probabilistic System Types - Proof Pearl.

Johannes Hlzl, Andreas Lochbihler, Dmitriy Traytel

Browse the full ITP paper archive.