dc.contributor.author | Bean, Julian Michael Lewis | |
dc.date.accessioned | 2013-12-30T16:25:13Z | |
dc.date.available | 2013-12-30T16:25:13Z | |
dc.date.issued | 2013-12-30 | |
dc.identifier.issn | 1470-5559 | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/5054 | |
dc.description | Submitted for the degree of Doctor of Philosophy, Queen Mary, University of London. | en_US |
dc.language.iso | en | en_US |
dc.relation.ispartofseries | Department of Computer Science Research Reports;RR-06-01 - January 2006 | |
dc.title | Ribbon Proofs - A Proof System for the Logic of Bunched Implications | en_US |
dc.type | Thesis | en_US |