Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (bibtex)

Reference:

Miriam Polzer and Sergey Goncharov: Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store, In Jean Goubault-Larrecq, Barbara König, eds.: 23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020), Lecture Notes in Computer Science, vol. 12077, pp. 542–561, Springer, 2020.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{   PolzerGoncharov20,
  author    = {Miriam Polzer and
               Sergey Goncharov},
  editor    = {Jean Goubault{-}Larrecq and
               Barbara K{\"{o}}nig},
  title     = {Local Local Reasoning: {A} BI-Hyperdoctrine for Full Ground Store},
  booktitle = {23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020)},
  series    = {Lecture Notes in Computer Science},
  volume    = {12077},
  pages     = {542--561},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-45231-5_28},
  doi       = {10.1007/978-3-030-45231-5_28},
}