The Semantics and Proof Theory of the Logic (2002)

by D J Pym
Venue:of Bunched Implications, Applied Logic Series