Semantic foundations of higher-order probabilistic programs in Isabelle/HOL

DOI10.4230/LIPICS.ITP.2023.18MaRDI QIDQ6642998zbMATH OpenFDO

Authors Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2023.18

zbMATH Keywords

\(s\)-finite kernelhigher-order probabilistic programIsabelle/HOLquasi-Borel spaces

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(1)

• A formalization of the Lévy-Prokhorov metric in Isabelle/HOL

This page was built for publication: Semantic foundations of higher-order probabilistic programs in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642998)