The logic of bunched implications (0)

by P W O’Hearn, D J Pym
Venue:Bulletin of Symbolic Logic