1. Nathanael L. Ackerman , Jeremy Avigad , Cameron E. Freer , Daniel M. Roy , and Jason M. Rute . 2019. Algorithmic barriers to representing conditional independence . In Proc. LICS 2019 . Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, and Jason M. Rute. 2019. Algorithmic barriers to representing conditional independence. In Proc. LICS 2019.
2. Nathanael L. Ackerman , Cameron E. Freer , and Daniel M. Roy . 2016. Exchangeable random primitives . In Proceedings of the Workshop on Probabilistic Programming Semantics. Nathanael L. Ackerman, Cameron E. Freer, and Daniel M. Roy. 2016. Exchangeable random primitives. In Proceedings of the Workshop on Probabilistic Programming Semantics.
3. A. Aguirre , G. Barthe , D. Garg , M. Gaboardi , S. Katsumata , and T. Sato . 2021. Higher-order probabilistic adversarial computations: categorical semantics and program logics . In Proc. ICFP 2021 . A. Aguirre, G. Barthe, D. Garg, M. Gaboardi, S. Katsumata, and T. Sato. 2021. Higher-order probabilistic adversarial computations: categorical semantics and program logics. In Proc. ICFP 2021.
4. Robert J. Aumann . 1961. Borel structures for function spaces. Illinois Journal of Mathematics 5 ( 1961 ). Robert J. Aumann. 1961. Borel structures for function spaces. Illinois Journal of Mathematics 5 (1961).
5. Richard Baker . 1991 . Lebesgue Measure on R^∞ . Proc. AMS 113 , 4 (1991). Richard Baker. 1991. Lebesgue Measure on R^∞. Proc. AMS 113, 4 (1991).