A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A stone-type duality theorem for separation logic via its underlying bunched logics |
scientific article |
Statements
A stone-type duality theorem for separation logic via its underlying bunched logics (English)
0 references
25 April 2022
0 references
separation logic
0 references
bunched logic
0 references
substructural logic
0 references
program logic
0 references
categorical logic
0 references
algebraic logic
0 references
representation
0 references
stone duality
0 references
complex systems
0 references
hyperdoctrine
0 references
relational semantics
0 references
topological semantics
0 references
completeness
0 references
