@misc{indiciae944581ac657b, title = {Stone-Type Dualities for Separation Logics}, author = {Simon Docherty and David Pym}, year = {2019}, doi = {10.23638/lmcs-15(1:27)2019}, url = {https://arxiv.org/abs/1710.03021}, note = {Source identifier: 1710.03021} }