"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL","16th International Symposium on Functional and Logic Programming(FLOPS 2022)","Lecture notes in computer science, LNCS",,"volume 13215",,,2022,May