A Convenient Fibration for Dependently-Typed Probability Theory.

Danel Ahman, Ohad Kammar, Rasmus Ejlers Mgelberg

Browse the full LICS paper archive.