Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Browse the full FLOPS paper archive.