|
Publication List - Michikazu Hirata (4 entries)
Journal Paper
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL,
14th Conference on Interactive Theorem Proving(ITP2023),
July 2023.
Official location
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Program logic for higher-order probabilistic programs in Isabelle/HOL,
Science of Computer Programming,
Vol. 230,
June 2023.
-
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,
May 2022.
Official location
Domestic Conference (Not reviewed / Unknown)
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|