The Inverse Method for the Logic of Bunched Implications.

Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park

Browse the full LPAR paper archive.