Ribbon Proofs - A Proof System for the Logic of Bunched Implications

View/Open
Series
Department of Computer Science Research Reports;RR-06-01 - January 2006
ISSN
1470-5559
Metadata
Show full item record
Authors
Bean, Julian Michael Lewis
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/5054
Collections