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