@article{CTT100916120,
  author = {Michikazu Hirata and Yasuhiko Minamide and Tetsuya Sato},
  title = {Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL},
  journal = {},
  year = 2023,
}