|
Publication List - Tetsuya Sato 2023 (5 / 25 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.
-
Tetsuya Sato,
Shin-ya Katsumata.
Divergences on monads for relational program logics,
Mathematical Structures in Computer Science,
Apr. 2023.
Official location
International Conference (Not reviewed / Unknown)
Domestic Conference (Not reviewed / Unknown)
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|