Proceedings of the ACM on Programming Languages Aguirre, A, Barthe, G, Gaboardi, M, Garg, D, Katsumata, S Y & Sato, T 2021, ' Higher-order probabilistic adversarial computations : categorical semantics and program logics ', Proceedings of the ACM on Programming Languages, vol. 5, no. ICFP, 93 . https://doi.org/10.1145/3473598