@misc{indiciae13a4e4861dd1,
  title = {Predicate Transformers and Linear Logic, yet another denotational model},
  author = {Pierre Hyvernat},
  year = {2009},
  url = {https://arxiv.org/abs/0905.3998},
  note = {Source identifier: 0905.3998}
}