"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL","14th Conference on Interactive Theorem Proving(ITP2023)",,,,,,2023,July