@article{CTT100875917, author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato}, title = {Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL}, journal = {Lecture notes in computer science, LNCS}, year = 2022, }