An Algebraic Glimpse at Bunched Implications and Separation Logic (bibtex)
by Peter Jipsen, Tadeusz Litak
Reference:
An Algebraic Glimpse at Bunched Implications and Separation Logic (Peter Jipsen, Tadeusz Litak), In CoRR, vol. abs/1709.07063, 2017.
Bibtex Entry:
@article{JipsenL17:ono,
  author    = {Peter Jipsen and Tadeusz Litak},
  title     = {An Algebraic Glimpse at Bunched Implications and Separation Logic},
  journal   = {CoRR},
  volume    = {abs/1709.07063},
  year      = {2017},
  url       = {https://arxiv.org/abs/1709.07063}
}
Powered by bibtexbrowser