Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL

Publication Information

Title

Japanese:
English:	Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL

Author

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

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

July 2023

Publisher

Japanese:
English:

Conference name

Japanese:
English:	14th Conference on Interactive Theorem Proving(ITP2023)

Conference site

Japanese:
English:	Białystok

Official URL

DOI