Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Browse the full ITP paper archive.