Docherty, S., & Pym, D. (2019). Stone-Type Dualities for Separation Logics. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationDocherty, Simon, and David Pym. Stone-Type Dualities for Separation Logics. Logical Methods in Computer Science e.V, 2019.
MLA (9th ed.) CitationDocherty, Simon, and David Pym. Stone-Type Dualities for Separation Logics. Logical Methods in Computer Science e.V, 2019.
Warning: These citations may not always be 100% accurate.