TY  - CONF

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

PY  - 2021/01/01

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

SP  - 37

EP  - 53

Y2  - 2024/12/22

ER  -