Sub-classical Boolean Bunched Logics and the Meaning of Par.

James Brotherston, Jules Villard

Browse the full CSL paper archive.