TY  - CONF

T1  - Effect Algebras, Girard Quantales and Complementation in Separation Logic

UR  - https://doi.org/10.1007/978-3-030-88701-8_3

PY  - 2021/10/22

AU  - Bannister C

AU  - Höfner P

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/978-3-030-88701-8_3

PB  - Springer International Publishing

SN  - 9783030887001

SP  - 37

EP  - 53

Y2  - 2025/12/03

ER  -