Quasi-Borel Spaces

swMATH42016MaRDI QIDQ5974177FDOQ5974177

Author name not available (Why is that?)

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