The Inverse Method for the Logic of Bunched Implications Kevin Donnelly1 , Tyler Gibson2 , Neel Krishnaswami3 , Stephen Magill3 , and Sungwoo Park3 1

First Page		Document Content
Date: 2006-02-16 10:25:38		The Inverse Method for the Logic of Bunched Implications Kevin Donnelly1 , Tyler Gibson2 , Neel Krishnaswami3 , Stephen Magill3 , and Sungwoo Park3 1 Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 158,05 KB Share Document on Facebook