A Games Model of Bunched Implications.

Guy McCusker, David J. Pym

Browse the full CSL paper archive.