Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability.

Giorgio Bacci, Rasmus Ejlers Mgelberg

Browse the full LICS paper archive.