Higher-order probabilistic adversarial computations: Categorical semantics and program logics | Publicación