The logic of bunched implications (1999)

by P O’HEARN, D PYM
Venue:Bulletin of Symbolic Logic