Quasi-Borel Spaces

swMATH42016MaRDI QIDQ5974177FDOQ5974177

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Quasi-Borel Spaces