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

Publication Information

Title

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

Author

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

Language

English

Journal/Book name

Japanese:
English:	Lecture notes in computer science, LNCS

Volume, Number, Page

volume 13215

Published date

May 3, 2022

Publisher

Japanese:
English:

Conference name

Japanese:
English:	16th International Symposium on Functional and Logic Programming(FLOPS 2022)

Conference site

Japanese:
English:

Official URL

DOI