An Algebraic Glimpse at Bunched Implications and Separation Logic (bibtex)

by Peter Jipsen and Tadeusz Litak

Reference:

Peter Jipsen and Tadeusz Litak: An Algebraic Glimpse at Bunched Implications and Separation Logic, In CoRR, abs/1709.07063, 2017. To appear in the Outstanding Contributions volume "Hiroakira Ono on Residuated Lattices and Substructural Logics"

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},
  note      = {To appear in the Outstanding Contributions volume ``Hiroakira Ono on Residuated Lattices and Substructural Logics''}
}