Quasi-Borel Spaces

MaRDI QIDQ5974177swMATHFDO

Official website https://www.isa-afp.org/entries/Quasi_Borel_Spaces.html

Cited in

(2)

• Program logic for higher-order probabilistic programs in Isabelle/HOL
• A Convenient Category for Higher-Order Probability Theory

This page was built for software: Quasi-Borel Spaces