@misc{indiciae9abd6eb88522,
  title = {Classical BI: Its Semantics and Proof Theory},
  author = {James Brotherston and Cristiano Calcagno},
  year = {2010},
  doi = {10.2168/lmcs-6(3:3)2010},
  url = {https://arxiv.org/abs/1005.2340},
  note = {Source identifier: 1005.2340}
}