ยง Logic of bunched implications

http://www.lsv.fr/~demri/OHearnPym99.pdf