Ribbon proofs : a proof system for the logic of bunched implications /
Bean, Julian Michael Lewis.
University of London.Queen Mary.Department of Computer Science.
London : Queen Mary University of London, Department of Computer Science,
2006.
"Submitted for the degree of Doctor of Philosophy, Queen Mary, University of London, 2006" -- T.p.
"January 2006"--Cover.
Includes bibliographical references.
Logic, Symbolic and mathematical.