Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

論文・著書情報

タイトル

和文:
英文:	Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

著者

和文:	平田路和, 南出靖彦, 佐藤哲也.
英文:	Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato.

言語

English

掲載誌/書名

和文:
英文:	Lecture notes in computer science, LNCS

巻, 号, ページ

volume 13215

出版年月

2022年5月3日

出版者

和文:
英文:

会議名称

和文:
英文:	16th International Symposium on Functional and Logic Programming(FLOPS 2022)

開催地

和文:
英文:

公式リンク

DOI