@misc{indiciae3a8b74731568,
  title = {Higher-order probabilistic adversarial computations: Categorical semantics and program logics},
  author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Shin-ya Katsumata and Tetsuya Sato},
  year = {2021},
  url = {https://arxiv.org/abs/2107.01155},
  note = {Source identifier: 2107.01155}
}