This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
David J. Pym
A grouping.
David J. Pym: the logic of bunched implications (1999), its semantics and proof theory monograph, and 'Why Separation Logic Works' twenty years on.
4 references
Why Separation Logic Works
David Pym and others (2019) · Philosophy & Technology · Springer
Possible worlds and resources: the semantics of BI
David J. Pym and others (2004) · Theoretical Computer Science · Elsevier BV
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym (2002) · Springer
The logic of bunched implications
Peter W. O'Hearn and others (1999) · Bulletin of Symbolic Logic