@misc{indiciae702784994a85,
  title = {On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)},
  author = {Ugo Dal Lago and Giulia Giusti},
  year = {2022},
  url = {https://arxiv.org/abs/2207.03360},
  note = {Source identifier: 2207.03360}
}